On the Consistency Strength of Two Choiceless Cardinal Patterns

Notre Dame Journal of Formal Logic 40 (3):341-345 (1999)
  Copy   BIBTEX

Abstract

Using work of Devlin and Schindler in conjunction with work on Prikry forcing in a choiceless context done by the author, we show that two choiceless cardinal patterns have consistency strength of at least one Woodin cardinal

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1022615614

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The consistency strength of choiceless failures of SCH.Arthur W. Apter & Peter Koepke - 2010 - Journal of Symbolic Logic 75 (3):1066-1080.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
The least measurable can be strongly compact and indestructible.Arthur W. Apter & Moti Gitik - 1998 - Journal of Symbolic Logic 63 (4):1404-1412.
Changing cardinal invariants of the reals without changing cardinals or the reals.Heike Mildenberger - 1998 - Journal of Symbolic Logic 63 (2):593-599.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Cardinal preserving ideals.Moti Gitik & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (4):1527-1551.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
Ultrafilters generated by a closed set of functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.
Proper forcing and l(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.Dan E. Willard - 2006 - Journal of Symbolic Logic 71 (4):1189-1199.
Ad and patterns of singular cardinals below θ.Arthur W. Apter - 1996 - Journal of Symbolic Logic 61 (1):225-235.
Extended ultrapowers and the vopěnka-hrbáček theorem without choice.Mitchell Spector - 1991 - Journal of Symbolic Logic 56 (2):592-607.
The consistency of arithmetic.Storrs McCall - manuscript
The consistency strength of the free-subset property for ωω.Peter Koepke - 1984 - Journal of Symbolic Logic 49 (4):1198 - 1204.

Analytics

Added to PP
2010-08-24

Downloads
18 (#811,325)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
Some results on consecutive large cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.
Successive weakly compact or singular cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.

View all 11 references / Add more references