Special Model Axiom in Nonstandard Set Theory

DOI10.1002/malq.19990450308zbMath0931.03076OpenAlexW1974534958WikidataQ114018764 ScholiaQ114018764MaRDI QIDQ4264537

Kanovei, Vladimir, Reeken, Michael

Publication date: 21 February 2000

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450308

zbMATH Keywords

consistencynonstandard set theoryspecial model axiomKST\(\kappa\)-saturated model of PAaxiom SMA

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonstandard models in mathematics (03H05)

Cites Work

• Unnamed Item
• Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe
• Internal approach to external sets and universes. II: External universes over the universe of bounded set theory
• The isomorphism property versus the special model axiom
• The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces
• Internal set theory: A new approach to nonstandard analysis
• The special model axiom in nonstandard analysis