- 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
An Inner Model Proof of the Strong Partition Property for $delta^{2}_{1}$
Notre Dame Journal of Formal Logic 55 (4):563-568 (2014)
Abstract
Assuming $V=L+AD$, using methods from inner model theory, we give a new proof of the strong partition property for ${\sim}{ \delta }^{2}_{1}$. The result was originally proved by Kechris et alLinks
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 largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Weak covering and the tree property.Ralf-Dieter Schindler - 1999 - Archive for Mathematical Logic 38 (8):515-520.
Splittings and the finite model property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
On generic structures with a strong amalgamation property.Koichiro Ikeda, Hirotaka Kikyo & Akito Tsuboi - 2009 - Journal of Symbolic Logic 74 (3):721-733.
Large cardinals and projective sets.Haim Judah & Otmar Spinas - 1997 - Archive for Mathematical Logic 36 (2):137-155.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals.Kenneth Kunen & Donald H. Pelletier - 1983 - Journal of Symbolic Logic 48 (2):475-481.
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.Vera Koponen & Tapani Hyttinen - 2015 - Studia Logica 103 (1):1-20.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
Order-Computable Sets.Denis Hirschfeldt, Russell Miller & Sergei Podzorov - 2007 - Notre Dame Journal of Formal Logic 48 (3):317-347.
Analytics
Added to PP
2014-11-08
Downloads
16 (#880,136)
6 months
9 (#298,039)
2014-11-08
Downloads
16 (#880,136)
6 months
9 (#298,039)
Historical graph of downloads
References found in this work
Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
Nontame mouse from the failure of square at a singular strong limit cardinal.Grigor Sargsyan - 2014 - Journal of Mathematical Logic 14 (1):1450003.
On the prewellorderings associated with the directed systems of mice.Grigor Sargsyan - 2013 - Journal of Symbolic Logic 78 (3):735-763.
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