Type two cuts, bad cuts and very bad cut

DOI10.2307/2275640zbMath0897.03064arXivmath/9604210OpenAlexW2114475258MaRDI QIDQ4382473

Renling Jin

Publication date: 11 October 1998

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

Full work available at URL: https://arxiv.org/abs/math/9604210

zbMATH Keywords

nonstandard analysisLeob measurebad cutshyperfinite time linetype two cutsU-topology

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05)

Related Items (3)

The generic filter property in nonstandard analysis ⋮ Some highly saturated models of Peano arithmetic ⋮ Combinatorial principles in nonstandard analysis

Cites Work

• Game sentences and ultrapowers
• When do two Banach spaces have isometrically isomorphic nonstandard hulls
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• The strength of the isomorphism property
• The isomorphism property for nonstandard universes

This page was built for publication: Type two cuts, bad cuts and very bad cut