Switch to: References

Add citations

You must login to add citations.
  1. Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
    We demonstrate that the special model axiom SMA of Ross admits a natural formalization in Kawai's nonstandard set theory KST but is independent of KST. As an application of our methods to classical model theory, we present a short proof of the consistency of the existence of a k+ like k-saturated model of PA for a given cardinal k.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • 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   2 citations  
  • A Definable Nonstandard Enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
    This article establishes the existence of a definable , countably saturated nonstandard enlargement of the superstructure over the reals. This nonstandard universe is obtained as the union of an inductive chain of bounded ultrapowers . The underlying ultrafilter is the one constructed by Kanovei and Shelah [10].
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations