Realism, nonstandard set theory, and large cardinals

Annals of Pure and Applied Logic 109 (1-2):15-48 (2001)
  Copy   BIBTEX

Abstract

Mathematicians justify axioms of set theory “intrinsically”, by reference to the universe of sets of their intuition, and “extrinsically”, for example, by considerations of simplicity or usefullness for mathematical practice. Here we apply the same kind of justifications to Nonstandard Analysis and argue for acceptance of BNST+ . BNST+ has nontrivial consequences for standard set theory; for example, it implies existence of inner models with measurable cardinals. We also consider how to practice Nonstandard Analysis in BNST+, and compare it with other existing nonstandard set theories

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,593

External links

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

Through your library

Similar books and articles

Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
A constructive approach to nonstandard analysis.Erik Palmgren - 1995 - Annals of Pure and Applied Logic 73 (3):297-325.
Connectedness and compactness on standard sets.Ricardo Almeida - 2010 - Mathematical Logic Quarterly 56 (1):63-66.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
A sheaf-theoretic foundation for nonstandard analysis.Erik Palmgren - 1997 - Annals of Pure and Applied Logic 85 (1):69-86.

Analytics

Added to PP
2014-01-16

Downloads
22 (#714,818)

6 months
9 (#456,451)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Second-order non-nonstandard analysis.J. M. Henle - 2003 - Studia Logica 74 (3):399 - 426.
More on regular and decomposable ultrafilters in ZFC.Paolo Lipparini - 2010 - Mathematical Logic Quarterly 56 (4):340-374.
The Solution of the Invariant Subspace Problem. Complex Hilbert space. Part I.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.

Add more citations

References found in this work

Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.
Standard foundations for nonstandard analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.
The syntax of nonstandard analysis.Edward Nelson - 1988 - Annals of Pure and Applied Logic 38 (2):123-134.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.

View all 12 references / Add more references