A model for intuitionistic non-standard arithmetic

Annals of Pure and Applied Logic 73 (1):37-51 (1995)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(93)e0071-u

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,836

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Constructive canonicity in non-classical logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Intuitionistic Choice and Restricted Classical Logic.Ulrich Kohlenbach - 2001 - Mathematical Logic Quarterly 47 (4):455-460.
Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice.Susumu Hayashi - 1980 - Annals of Mathematical Logic 19 (1):33.
A sheaf-theoretic foundation for nonstandard analysis.Erik Palmgren - 1997 - Annals of Pure and Applied Logic 85 (1):69-86.
A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic.Gershon Sageev - 1981 - Annals of Mathematical Logic 21 (2):221-281.
Understanding uniformity in Feferman's explicit mathematics.Thomas Glaß - 1995 - Annals of Pure and Applied Logic 75 (1-2):89-106.
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.Stewart Shapiro, Charles McCarty & Michael Rathjen - 2025 - Archive for Mathematical Logic 64 (1).
Systems of explicit mathematics with non-constructive μ-operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.

Analytics

Added to PP
2014-01-16

Downloads
47 (#508,357)

6 months
17 (#168,418)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Duality and Infinity.Guillaume Massas - 2024 - Dissertation, University of California, Berkeley
A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.

View all 20 citations / Add more citations

References found in this work

An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.

Add more references