An axiomatic presentation of the nonstandard methods in mathematics

DOI10.2178/jsl/1190150046zbMath1005.03053OpenAlexW2140570225MaRDI QIDQ4532617

Mauro Di Nasso

Publication date: 29 October 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.4734

zbMATH Keywords

nonstandard set theoryconservative extensionnonstandard embedding

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models in mathematics (03H05)

Related Items (4)

Alpha-theory: An elementary axiomatics for nonstandard analysis ⋮ Realism, nonstandard set theory, and large cardinals ⋮ Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Set theory. An introduction to independence proofs
• Pseudo-superstructures as nonstandard universes
• Elementary extensions of models of set theory

This page was built for publication: An axiomatic presentation of the nonstandard methods in mathematics