Hostname: page-component-848d4c4894-8kt4b Total loading time: 0 Render date: 2024-07-05T07:11:27.675Z Has data issue: false hasContentIssue false

Nonregular ultrafilters on ω2

Published online by Cambridge University Press:  12 March 2014

Sean Cox*
Affiliation:
Institut für Mathematische Logik und Grundlagenforschung, Universität Münster, Einsteinstrasse 62, 48149 Münster, Germany, E-mail: sean.cox@uni-muenster.de

Abstract

We obtain lower bounds for the consistency strength of fully nonregular ultrafilters on ω2.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Chang, C. C. and Keisler, H. J., Model theory, 3rd ed., Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland Publishing Co., Amsterdam, 1900.Google Scholar
[2]Cox, Sean, Covering theorems for the core model, and an application to stationary set reflection, Annals of Pure and Applied Logic, vol. 161 (2009), no. 1, pp. 6693.CrossRefGoogle Scholar
[3]Cox, Sean, Ph.D. Dissertation, University of California, Irvine, 2009.Google Scholar
[4]Cummings, James, Foreman, Matthew, and Magidor, Menachem, Canonical structure in the universe of set theory. I, Annals of Pure and Applied Logic, vol. 129 (2004), no. 1–3, pp. 211243.CrossRefGoogle Scholar
[5]Deiser, Oliver and Donder, Dieter, Canonical functions, non-regular ultrafilters and Ulam's problem on ω 1, this Journal, vol. 68 (2003), no. 3, pp. 713739.Google Scholar
[6]Donder, D., Jensen, R. B., and Koppelberg, B. J., Some applications of the core model, Set theory and model theory (Bonn, 1979), Lecture Notes in Mathematics, vol. 872, Springer, Berlin, 1981, pp. 5597.CrossRefGoogle Scholar
[7]Foreman, M., Magidor, M., and Shelah, S., Martin's maximum, saturated ideals and nonregular ultrafilters. II, Annals of Mathematics. Series 2, vol. 127 (1988), no. 3, pp. 521545.CrossRefGoogle Scholar
[8]Foreman, Matthew, An η1-dense ideal on η1, Israel Journal of Mathematics, vol. 108 (1998), pp. 253290.CrossRefGoogle Scholar
[9]Huberich, Markus, Non-regular ultrafilters, Israel Journal of Mathematics, vol. 87 (1994), no. 1–3, pp. 275288.CrossRefGoogle Scholar
[10]Kanamori, A., Weakly normal filters and irregular ultrafilters, Transactions of the American Mathematical Society, vol. 220 (1976), pp. 393399.CrossRefGoogle Scholar
[11]Ketonen, Jussi, Nonregular ultrafilters and large cardinals, Transactions of the American Mathematical Society, vol. 224 (1976), pp. 6173.CrossRefGoogle Scholar
[12]Laver, Richard, Saturated ideals and nonregular ultrafilters, Patras Logic Symposium (Patras, 1980), Studies in Logic and the Foundations of Mathematics, vol. 109, North-Holland, Amsterdam, 1982, pp. 297305.CrossRefGoogle Scholar
[13]Woodin, W. Hugh, The axiom of determinacy, forcing axioms, and the nonstationary ideal, de Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter & Co., Berlin, 1999.CrossRefGoogle Scholar
[14]Zeman, Martin, Inner models and large cardinals, de Gruyter Series in Logic and its Applications, vol. 5, Walter de Gruyter & Co., Berlin, 2002.CrossRefGoogle Scholar