ℛ max variations for separating club guessing principles

Journal of Symbolic Logic 77 (2):532-544 (2012)
Abstract
In his book on P max [7], Woodin presents a collection of partial orders whose extensions satisfy strong club guessing principles on ω | . In this paper we employ one of the techniques from this book to produce P max variations which separate various club guessing principles. The principle (+) and its variants are weak guessing principles which were first considered by the second author [4] while studying games of length ω | . It was shown in [1] that the Continuum Hypothesis does not imply (+) and that (+) does not imply the existence of a club guessing sequence on ω | . In this paper we give an alternate proof of the second of these results, using Woodin's P max technology, showing that a strengthening of (+) does not imply a weakening of club guessing known as the Interval Hitting Principle. The main technique in this paper, in addition to the standard P m a x machinery, is the use of condensation principles to build suitable iterations
Keywords club guessing   condensation   ℛ_max
Categories (categorize this paper)
DOI 10.2178/jsl/1333566636
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,334
Through your library
References found in this work BETA
Canonical Models for ℵ1-Combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
The Canonical Function Game.Paul B. Larson - 2004 - Archive for Mathematical Logic 44 (7):817-827.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Club Guessing Sequences and Filters.Tetsuya Ishiu - 2005 - Journal of Symbolic Logic 70 (4):1037-1071.
Club Guessing and the Universal Models.Mirna Džamonja - 2005 - Notre Dame Journal of Formal Logic 46 (3):283-300.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Gender and the Philosophy Club.Stephen Stich & Wesley Buckwalter - 2011 - The Philosophers' Magazine 52 (52):60-65.
Was There a Metaphysical Club in Cambridge? — A Postscript.Max H. Fisch - 1981 - Transactions of the Charles S. Peirce Society 17 (2):128 - 130.
The First Rule of Fight Club.Nancy Bauer - 2011 - In Thomas Wartenberg (ed.), Fight Club. Routledge.
Some Results About (+) Proved by Iterated Forcing.Tetsuya Ishiu & Paul B. Larson - 2012 - Journal of Symbolic Logic 77 (2):515-531.
Imperfect Identity.Eric T. Olson - 2006 - Proceedings of the Aristotelian Society 106 (2):247–264.
Infinitary Combinatorics and Modal Logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.
Pure Contractarianism: Promise, Problems, Prospects.Robert Bass - 2000 - Journal of Value Inquiry 34 (2-3):319-332.
Two Weak Consequences of 0#. [REVIEW]M. Gitik, M. Magidor & H. Woodin - 1985 - Journal of Symbolic Logic 50 (3):597 - 603.
Added to PP index
2012-04-05

Total downloads
16 ( #335,983 of 2,225,325 )

Recent downloads (6 months)
8 ( #61,152 of 2,225,325 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature