The generic filter property in nonstandard analysis

DOI10.1016/S0168-0072(01)00033-1zbMath0981.03069MaRDI QIDQ5942882

Mauro Di Nasso

Publication date: 10 September 2001

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

zbMATH Keywords

nonstandard analysisHenson's isomorphism propertyresplendency property

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Nonstandard models in mathematics (03H05) Properties of classes of models (03C52)

Related Items (2)

Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem ⋮ Combinatorial principles in nonstandard analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• Nonstandard natural number systems and nonstandard models
• Meager sets on the hyperfinite time line
• Making the hyperreal line both saturated and complete
• 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
• The strength of the isomorphism property
• Type two cuts, bad cuts and very bad cut
• The isomorphism property for nonstandard universes
• The special model axiom in nonstandard analysis

This page was built for publication: The generic filter property in nonstandard analysis