Switch to: References

Add citations

You must login to add citations.
  1. Distinguishing Three Strong Saturation Properties in Nonstandard Analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
    Three results in [14] and one in [8] are analyzed in Sections 3–6 in order to supply examples on Loeb probability spaces, which distinguish the different strength among three generalizations of k-saturation, as well to answer some questions in Section 7 of [15]. In Section 3 we show that not every automorphism of a Loeb algebra is induced by an internal permutation, in Section 4 we show that if the 1-special model axiom is true, then every automorphism of a Loeb (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Generic Filter Property in Nonstandard Analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.
    In this paper two new combinatorial principles in nonstandard analysis are isolated and applications are given. The second principle provides an equivalent formulation of Henson's isomorphism property.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Isomorphism Property in Nonstandard Extensions of theZFC Universe.Vladimir Kanovei & Michael Reeken - 1997 - Annals of Pure and Applied Logic 88 (1):1-25.
    We study models of HST . This theory admits an adequate formulation of the isomorphism propertyIP, which postulates that any two elementarily equivalent internally presented structures of a well-orderable language are isomorphic. We prove that IP is independent of HST and consistent with HST.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation