On Bounded Set Theory

1997 ◽  
pp. 85-103 ◽  
Author(s):  
Vladimir Yu. Sazonov
Keyword(s):  
Set Theory ◽  
Bounded Set

An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory

2001 ◽  
Vol 66 (3) ◽  
pp. 1321-1341 ◽  
Author(s):  
P. V. Andreev ◽  
E. I. Gordon
Keyword(s):  
Set Theory ◽  
Nonstandard Analysis ◽  
Predicate Symbol ◽  
Unary Predicate ◽  
Von Neumann ◽  
Class Theory ◽  
Bounded Set ◽  
Nonstandard Set Theory ◽  
Alternative Set ◽  
Transfer Principles

AbstractWe present an axiomatic framework for nonstandard analysis—the Nonstandard Class Theory (NCT) which extends von Neumann–Gödel–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.

A Course on Set Theory

2009 ◽  
Author(s):  
Ernest Schimmerling
Keyword(s):  
Set Theory

Set Theory

2016 ◽  
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Set Theory
Sign in / Sign up

Export Citation Format

Share Document