Making the hyperreal line both saturated and complete

DOI10.2307/2275069zbMATH Open0747.03032OpenAlexW2112149503MaRDI QIDQ3985098FDOQ3985098

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Combinatorial principles in nonstandard analysis
• Event structures in nonstandard quantum mechanics
• Title not available (Why is that?)
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Forcing in nonstandard analysis
• Game sentences and ultrapowers
• The generic filter property in nonstandard analysis
• Proper cuts in \(^*R\)

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)