- 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
A uniqueness theorem for iterations
Journal of Symbolic Logic 67 (4):1344-1350 (2002)
Abstract
If M is a countable transitive model of $ZFC+MA_{\aleph_{1}}$ , then for every real x there is a unique shortest iteration $j: M \rightarrow N$ with $x \in N$ , or none at allLinks
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
The Fan Theorem and Unique Existence of Maxima.Josef Berger, Douglas Bridges & Peter Schuster - 2006 - Journal of Symbolic Logic 71 (2):713 - 720.
Compact set valued flows: Applications in biological modelling.Jacques Demongeot, Paul Kulesal & James Muffay - 1996 - Acta Biotheoretica 44 (3-4):349-358.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Analytics
Added to PP
2009-01-28
Downloads
34 (#458,553)
6 months
20 (#125,481)
2009-01-28
Downloads
34 (#458,553)
6 months
20 (#125,481)
Historical graph of downloads
Citations of this work
Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
The Nonstationary Ideal in the Pmax Extension.Paul B. Larson - 2007 - Journal of Symbolic Logic 72 (1):138 - 158.
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-hc2g5 uwo