- 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
Other Versions
No versions found
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.
The generic filter property in nonstandard analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.
Combinatorial principles in nonstandard analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
Combinatorial principles in nonstandard analysis.Mauro Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
Review: Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 1. Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 2. External Universe over the Universe of Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 3. Partially Saturated Universes. [REVIEW]Karel Hrbacek - 1999 - Journal of Symbolic Logic 64 (3):1365-1366.
Order-isomorphic η 1 -orderings in Cohen extensions.Bob A. Dumas - 2009 - Annals of Pure and Applied Logic 158 (1-2):1-22.
Internal Approach to External Sets and Universes: Part 1. Bounded Set Theory.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):229-257.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
Partial automorphism semigroups.Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey & Eric Ufferman - 2008 - Annals of Pure and Applied Logic 156 (2):245-258.
Analytics
Added to PP
2014-01-16
Downloads
52 (#339,148)
6 months
11 (#263,140)
2014-01-16
Downloads
52 (#339,148)
6 months
11 (#263,140)
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 isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
The special model axiom in nonstandard analysis.David Ross - 1990 - Journal of Symbolic Logic 55 (3):1233-1242.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.
Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):347 - 376.
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-5d8df9484f-tnf22 uwo