Making the hyperreal line both saturated and complete

DOI10.2307/2275069zbMath0747.03032OpenAlexW2112149503MaRDI QIDQ3985098

H. Jerome Keisler, James H. Schmerl

Publication date: 27 June 1992

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

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

zbMATH Keywords

hyperreal numbersordered fieldnonstandard universefragments of set theoryfragments of second-order arithmetic\(\kappa\)-saturation propertyBolzano-Weierstraß property

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)

Related Items (8)

Forcing in nonstandard analysis ⋮ Proper cuts in \(^*R\) ⋮ Event structures in nonstandard quantum mechanics ⋮ Game sentences and ultrapowers ⋮ The generic filter property in nonstandard analysis ⋮ Unnamed Item ⋮ Combinatorial principles in nonstandard analysis ⋮ Vive la différence. II: The Ax-Kochen isomorphism theorem

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