- 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
The weak square property
Journal of Symbolic Logic 66 (2):640-657 (2001)
Abstract
We formulate and prove a combinatorial property assuming AD + V = L(R). As a consequence, we show that every regular κ which is either a Suslin cardinal or the successor of a Suslin cardinal is δ 2 1 -supercompact. In particular, all the projective ordinals δ 1 n are δ 2 1 -supercompactOther 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
Some structural results concerning supercompact cardinals.Arthur Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
Ideals over ω and cardinal invariants of the continuum.P. Matet & J. Pawlikowski - 1998 - Journal of Symbolic Logic 63 (3):1040-1054.
Supercompact cardinals, trees of normal ultrafilters, and the partition property.Julius B. Barbanel - 1986 - Journal of Symbolic Logic 51 (3):701-708.
Admissible suslin cardinals in l(r).Steve Jackson - 1991 - Journal of Symbolic Logic 56 (1):260 - 275.
A note on a result of Kunen and Pelletier.Julius B. Barbanel - 1992 - Journal of Symbolic Logic 57 (2):461-465.
A Question about Suslin Trees and the Weak Square Hierarchy.Ernest Schimmerling - 2005 - Notre Dame Journal of Formal Logic 46 (3):373-374.
The equivalence of the disjunction and existence properties for modal arithmetic.Harvey Friedman & Michael Sheard - 1989 - Journal of Symbolic Logic 54 (4):1456-1459.
Weak cylindric set algebras and weak subdirect indecomposability.H. Andréka, I. Németi & R. J. Thompson - 1990 - Journal of Symbolic Logic 55 (2):577-588.
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.
Analytics
Added to PP
2009-01-28
Downloads
130 (#346,412)
6 months
19 (#587,682)
2009-01-28
Downloads
130 (#346,412)
6 months
19 (#587,682)
Historical graph of downloads
Citations of this work
Four and more.Ilijas Farah & Jindřich Zapletal - 2006 - Annals of Pure and Applied Logic 140 (1):3-39.
An inner model theoretic proof of Becker’s theorem.Grigor Sargsyan - 2019 - Archive for Mathematical Logic 58 (7-8):999-1003.
References found in this work
On the determinacy of games on ordinals.L. A. Harrington - 1981 - Annals of Mathematical Logic 20 (2):109.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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