Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 66, Issue 3 (2001), 1321-1341.
An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Godel Theory
We present an axiomatic framework for nonstandard analysis-the Nonstandard Class Theory (NCT) which extends von Neumann-Godel-Bernays Set Theory (NBG) by adding a unary predicate symbol St to the language of NBG (St(X) means that the class X is standard) and axioms-related to it- analogs of Nelson's idealization, standardization and transfer principles. Those principles are formulated as axioms, rather than axiom schemes, so that NCT is finitely axiomatizable. NCT can be considered as a theory of definable classes of Bounded Set Theory by V. Kanovei and M. Reeken. In many aspects NCT resembles the Alternative Set Theory by P. Vopenka. For example there exist semisets (proper subclasses of sets) in NCT and it can be proved that a set has a standard finite cardinality iff it does not contain any proper subsemiset. Semisets can be considered as external classes in NCT. Thus the saturation principle can be formalized in NCT.
J. Symbolic Logic, Volume 66, Issue 3 (2001), 1321-1341.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Andreev, P. V.; Gordon, E. I. An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Godel Theory. J. Symbolic Logic 66 (2001), no. 3, 1321--1341. https://projecteuclid.org/euclid.jsl/1183746562