ℛ 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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,066
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.

Analytics

Added to PP index
2012-04-05

Total downloads
18 ( #314,282 of 2,241,613 )

Recent downloads (6 months)
4 ( #112,718 of 2,241,613 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature