- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Isomorphism property in nonstandard extensions of theZFC universe
Annals of Pure and Applied Logic 88 (1):1-25 (1997)
Abstract
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 HSTAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A theorem on the isomorphism property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.
Elementary extensions of external classes in a nonstandard universe.Vladimir Kanovei & Michael Reeken - 1998 - Studia Logica 60 (2):253-273.
Ultrafilters which extend measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
The strength of the isomorphism property.Renling Jin & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):292-301.
A nonstandard set theory in the $\displaystyle\in$ -language.Vladimir Kanovei & Michael Reeken - 2000 - Archive for Mathematical Logic 39 (6):403-416.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
Making the hyperreal line both saturated and complete.H. Jerome Keisler & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):1016-1025.
The isomorphism property for nonstandard universes.James H. Schmerl - 1995 - Journal of Symbolic Logic 60 (2):512-516.
Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces.C. Ward Henson - 1974 - Journal of Symbolic Logic 39 (4):717-731.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Type two cuts, bad cuts and very bad cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):347 - 376.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
Analytics
Added to PP
2014-01-16
Downloads
34 (#459,882)
6 months
12 (#202,587)
2014-01-16
Downloads
34 (#459,882)
6 months
12 (#202,587)
Historical graph of downloads
Author's Profile
Citations of this work
A nonstandard set theory in the $\displaystyle\in$ -language.Vladimir Kanovei & Michael Reeken - 2000 - Archive for Mathematical Logic 39 (6):403-416.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
References found in this work
The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces.C. Ward Henson - 1974 - Journal of Symbolic Logic 39 (4):717-731.
The special model axiom in nonstandard analysis.David Ross - 1990 - Journal of Symbolic Logic 55 (3):1233-1242.
The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.
A theorem on the isomorphism property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo