Combinatorial principles in nonstandard analysis

DOI10.1016/S0168-0072(02)00059-3zbMath1016.03070OpenAlexW2021613985MaRDI QIDQ1861543

Mauro Di Nasso, Karel Hrbacek

Publication date: 9 March 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(02)00059-3

zbMATH Keywords

nonstandard analysisisomorphism propertygeneric filter

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• Distinguishing three strong saturation properties in nonstandard analysis
• Forcing in nonstandard analysis
• Automorphisms of the Loeb algebra
• Making the hyperreal line both saturated and complete
• Standard foundations for nonstandard analysis
• The isomorphism property versus the special model axiom
• A theorem on the isomorphism property
• The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces
• Adding a closed unbounded set
• Ultrafilters which extend measures
• Type two cuts, bad cuts and very bad cut
• Pseudo-superstructures as nonstandard universes
• The isomorphism property for nonstandard universes
• The special model axiom in nonstandard analysis
• The generic filter property in nonstandard analysis

This page was built for publication: Combinatorial principles in nonstandard analysis