Abstract
The canonical function game is a game of length ω1 introduced by W. Hugh Woodin which falls inside a class of games known as Neeman games. Using large cardinals, we show that it is possible to force that the game is not determined. We also discuss the relationship between this result and Σ22 absoluteness, cardinality spectra and Π2 maximality for H(ω2) relative to the Continuum Hypothesis.
Similar content being viewed by others
References
Deiser, O., Donder, H.-D.: Canonical functions, non-regular ultrafilters and Ulam's problem on ω1. J. Symbolic Logic 68(3), 713–739 (2003)
Donder, H.-D., Fuchs, U.: Revised Countable Support Iterations. Handbook of Set Theory, To appear
Foreman, M., Magidor, M., Shelah, S.: Martin's Maximum. saturated ideals, and non-regular ultrafilters. Part I. Ann. Math. 127, 1–47 (1988)
Larson, P.: The stationary tower. Notes on a course by W. Hugh Woodin. University Lecture Series, 32. American Mathematical Society, Providence, RI, 2004
Larson, P., Shelah, S.: Bounding by canonical funtions, with CH. J. Math. Logic 3(2), 193–215 (2003)
Neeman, I.: Games of length ω1. In preparation
Paris, J.B.: Patterns of indiscernibles. Bull. London Math. Soc. 6, 183–188 (1974)
Shelah, S.: Proper and improper forcing. Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998
Welch, P.: A note on mutual indiscernibles. Available at http://www2.maths.bris.ac.uk/mapdw/larson.ps
Woodin, W.H.: The axiom of determinacy, forcing axioms, and the nonstationary ideal. DeGruyter Series in Logic and Its Applications, Vol. 1, 1999
Woodin, W.H.: Beyond absoluteness. In: Proceedings of the International Congress of Mathematicians, Vol. I, 515–524 (Beijing, 2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
The research in this paper was conducted while the author was a guest of the Fields Institute, and the writing was completed with the support of a FAPESP fellowship (Grant # 02/11551-3) at the University of São Paulo.