A model for intuitionistic non-standard arithmetic

Ieke Moerdijk

doi:10.1016/0168-0072(93)E0071-U

A model for intuitionistic non-standard arithmetic

Ieke Moerdijk^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.

Original language	English
Pages (from-to)	37-51
Number of pages	15
Journal	Annals of Pure and Applied Logic
Volume	73
Issue number	1
DOIs	https://doi.org/10.1016/0168-0072(93)E0071-U
Publication status	Published - 16 May 1995

Access to Document

10.1016/0168-0072(93)E0071-U

Cite this

@article{9d650b8736974e1e82e3a89e11b005d2,

title = "A model for intuitionistic non-standard arithmetic",

abstract = "This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.",

author = "Ieke Moerdijk",

year = "1995",

month = may,

day = "16",

doi = "10.1016/0168-0072(93)E0071-U",

language = "English",

volume = "73",

pages = "37--51",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "1",

}

TY - JOUR

T1 - A model for intuitionistic non-standard arithmetic

AU - Moerdijk, Ieke

PY - 1995/5/16

Y1 - 1995/5/16

N2 - This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.

AB - This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.

UR - https://www.scopus.com/pages/publications/0002545098

U2 - 10.1016/0168-0072(93)E0071-U

DO - 10.1016/0168-0072(93)E0071-U

M3 - Article

AN - SCOPUS:0002545098

SN - 0168-0072

VL - 73

SP - 37

EP - 51

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1

ER -

A model for intuitionistic non-standard arithmetic

Abstract

Access to Document

Other files and links

Fingerprint

Cite this