Standard foundations for nonstandard analysis

DOI10.2307/2275304MaRDI QIDQ4032655zbMATH OpenOpenAlexWikidataFDO

Authors David Ballard, Karel Hrbacek

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

\(\kappa\)-saturated universeBoffa's axiom of superuniversalityextension principleglobal 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)

Recommendations

• Pseudo-superstructures as nonstandard universes
• scientific article; zbMATH DE number 1347880
• scientific article; zbMATH DE number 3861160
• Problems of set-theoretic non-standard analysis
• Realism, nonstandard set theory, and large cardinals

Cites work

• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• Internal set theory: A new approach to nonstandard analysis
• Non-standard analysis
• Nonstandard Set Theory

Cited in

(16)

• Definable predicates of standardness in internal set theory
• Combinatorial principles in nonstandard analysis
• 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
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• On the strength of nonstandard analysis
• Enlargements without urelements
• Making the hyperreal line both saturated and complete
• Pseudo-superstructures as nonstandard universes
• scientific article; zbMATH DE number 1795224 (Why is no real title available?)
• A canonical form for supertransitive standard models in Zermelo-Fraenkel set theory
• scientific article; zbMATH DE number 841148 (Why is no real title available?)
• Standardization principle of nonstandard universes
• Iterated hyper-extensions and an idempotent ultrafilter proof of Rado's theorem
• Foundations of iterated star maps and their use in combinatorics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032655)