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 al
|
| Keywords | mouse inner model theory descriptive set theory hod mouse |
| Categories | (categorize this paper) |
| DOI | 10.1215/00294527-2798745 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,979
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
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.
Citations of this work BETA
No citations found.
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 index
2014-11-08
Total views
7 ( #1,067,128 of 2,504,871 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,871 )
2014-11-08
Total views
7 ( #1,067,128 of 2,504,871 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,871 )
How can I increase my downloads?
Downloads
