Journal of Symbolic Logic 77 (2):515-531 (2012)

Abstract
We shall show the consistency of CH+ᄀ(+) and CH+(+)+ there are no club guessing sequences on ω₁. We shall also prove that ◊⁺ does not imply the existence of a strong club guessing sequence ω₁
Keywords Forcing   club guessing principles   (+)   ♢⁺
Categories (categorize this paper)
DOI 10.2178/jsl/1333566635
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,634
Through your library

References found in this work BETA

The Canonical Function Game.Paul B. Larson - 2005 - Archive for Mathematical Logic 44 (7):817-827.
Club Guessing Sequences and Filters.Tetsuya Ishiu - 2005 - Journal of Symbolic Logic 70 (4):1037-1071.

Add more references

Citations of this work BETA

Adding Many Baumgartner Clubs.David Asperó - 2017 - Archive for Mathematical Logic 56 (7-8):797-810.
Square with Built-in Diamond-Plus.Assaf Rinot & Ralf Schindler - 2017 - Journal of Symbolic Logic 82 (3):809-833.

Add more citations

Similar books and articles

Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
Forcing Disabled.M. C. Stanley - 1992 - Journal of Symbolic Logic 57 (4):1153-1175.
Some Structural Results Concerning Supercompact Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
Fragile Measurability.Joel Hamkins - 1994 - Journal of Symbolic Logic 59 (1):262-282.
Some Notes on Iterated Forcing with $2^{\aleph0}>\aleph2$. [REVIEW]Saharon Shelah - 1987 - Notre Dame Journal of Formal Logic 29 (1):1-17.
A Gitik Iteration with Nearly Easton Factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Solovay Models and Forcing Extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Small Forcing Makes Any Cardinal Superdestructible.Joel David Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
Forcing in Proof Theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Iteratively Changing the Heights of Automorphism Towers.Gunter Fuchs & Philipp Lücke - 2012 - Notre Dame Journal of Formal Logic 53 (2):155-174.
On Non-Wellfounded Iterations of the Perfect Set Forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
Reasonable Ultrafilters, Again.Andrzej Rosłanowski & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (2):113-147.

Analytics

Added to PP index
2012-04-05

Total views
26 ( #443,743 of 2,533,815 )

Recent downloads (6 months)
1 ( #388,784 of 2,533,815 )

How can I increase my downloads?

Downloads

My notes