Making the hyperreal line both saturated and complete

DOI10.2307/2275069MaRDI QIDQ3985098zbMATH OpenOpenAlexFDO

Authors H. Jerome Keisler, James H. Schmerl

Publication date 27 June 1992

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

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

zbMATH Keywords

\(\kappa\)-saturation propertyBolzano-Weierstraß propertyfragments of second-order arithmeticfragments of set theoryhyperreal numbersnonstandard universeordered field

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models in mathematics (03H05)

Recommendations

• Standard foundations for nonstandard analysis
• scientific article; zbMATH DE number 1163403
• The Bolzano-Weierstrass theorem in generalised analysis

Cited in

(17)

• Models of Peano arithmetic and a question of Sikorski on ordered fields
• Game sentences and ultrapowers
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Forcing in nonstandard analysis
• Proper cuts in ^*R
• Cardinality, saturation and finiteness
• Combinatorial principles in nonstandard analysis
• The strength of countable saturation
• scientific article; zbMATH DE number 4177055 (Why is no real title available?)
• The structure of \(^*\tau_x\) and its properties
• scientific article; zbMATH DE number 2033392 (Why is no real title available?)
• scientific article; zbMATH DE number 1827970 (Why is no real title available?)
• Event structures in nonstandard quantum mechanics
• Relations between notions of gaplessness for non-Archimedean fields
• A definable nonstandard model of the reals
• The Bolzano-Weierstrass theorem in generalised analysis
• The generic filter property in nonstandard analysis

This page was built for publication: Making the hyperreal line both saturated and complete

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