An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory
From MaRDI portal
Publication:2758061
DOI10.2307/2695109zbMath0985.03043MaRDI QIDQ2758061
Publication date: 21 May 2002
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2695109
nonstandard analysis; axiomatic system; nonstandard class theory; saturation principle; extension of von Neumann-Gödel-Bernays set theory; semisets
Related Items
2002–2003 Winter Meeting of the Association for Symbolic Logic, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Realism, nonstandard set theory, and large cardinals, Some remarks on nonstandard theory of classes, A theory of hyperfinite sets
Cites Work