Journal of Symbolic Logic

An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Godel Theory

P. V. Andreev and E. I. Gordon

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

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.

Article information

Source
J. Symbolic Logic, Volume 66, Issue 3 (2001), 1321-1341.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183746562

Mathematical Reviews number (MathSciNet)
MR1856744

Zentralblatt MATH identifier
0985.03043

JSTOR
links.jstor.org

Citation

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


Export citation