Standard foundations for nonstandard analysis

DOI10.2307/2275304zbMath0766.03038OpenAlexW1993159501WikidataQ56455974 ScholiaQ56455974MaRDI QIDQ4032655

Karel Hrbacek, David Ballard

Publication date: 1 April 1993

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

Full work available at URL: https://doi.org/10.2307/2275304

zbMATH Keywords

extension principle\(\kappa\)-saturated universeBoffa's axiom of superuniversalityglobal version of Robinson's nonstandard analysisZermelo-Fraenkel set theory with global choice minus the axiom of regularity

Mathematics Subject Classification ID

Other set-theoretic hypotheses and axioms (03E65) Nonstandard models (03H99)

Related Items (7)

Internal approach to external sets and universes. I: Bounded set theory ⋮ Internal approach to external sets and universes. II: External universes over the universe of bounded set theory ⋮ Internal approach to external sets and universes. III. Partially saturated universes ⋮ Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem ⋮ Fragment of Nonstandard Analysis with a Finitary Consistency Proof ⋮ Definable predicates of standardness in internal set theory ⋮ Combinatorial principles in nonstandard analysis

Cites Work

• Unnamed Item
• Nonstandard Set Theory
• Internal set theory: A new approach to nonstandard analysis
• Non-standard analysis

This page was built for publication: Standard foundations for nonstandard analysis