Isomorphism property in nonstandard extensions of the ZFC universe

详细信息    查看全文

• 作者：Kanovei ; Vladimir ; Reeken ; Michael
• 关键词：Isomorphism property ; Nonstandard set theory ; Constructibility ; Generic extensions
• 刊名：Annals of Pure and Applied Logic
• 出版年：1997
• 出版时间：November 15, 1997
• 年：1997
• 卷：88
• 期：1
• 页码：1-25
• 全文大小：1.39 M

文摘

We study models of HST (a nonstandard set theory which includes, in particular, the Replacement and Separation schemata of ZFC in the language containing the membership and standardness predicates, and Saturation for well-orderable families of internal sets). This theory admits an adequate formulation of the isomorphism property IP, 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 (using the class of all sets constructible from internal sets) and consistent with HST (using generic extensions of a constructible model of HST by a sufficient number of generic isomorphisms).