Nonregular ultrafilters on \(\omega _{2}\). (English) Zbl 1243.03064

A uniform ultrafilter \(U\) on \(\omega_2\) is said to be fully nonregular if for any size-\(\aleph_2\) subset \(X\) of \(U\) there is a size-\(\aleph_1\) subset \(Y\) of \(X\) such that \(\bigcap Y \not= \emptyset\). It is shown that if there is such an ultrafilter then (a) there is an inner model with a cardinal \(\nu\) of Mitchell order \(\nu^+\), and (b) if \(| {}^{\omega_2} \omega_1 / U| = \aleph_2\) then there are mice extenders with multiple generators.


03E35 Consistency and independence results
03E55 Large cardinals
03E05 Other combinatorial set theory
Full Text: DOI


[1] DOI: 10.1016/j.apal.2004.04.002 · Zbl 1058.03051
[2] DOI: 10.1016/j.apal.2009.06.001 · Zbl 1183.03039
[3] Model theory 73 (1900)
[4] Inner models and large cardinals 5 (2002)
[5] The axiom of determinacy, forcing axioms, and the nonstationary ideal 1 (1999) · Zbl 0954.03046
[6] DOI: 10.1016/S0049-237X(08)71369-7
[7] Canonical functions, non-regular ultrafilters and Ulam’s problem on {\(\omega\)} 1 68 pp 713– (2003)
[8] DOI: 10.1007/BF02772999 · Zbl 0809.03033
[9] DOI: 10.1090/S0002-9947-1976-0480041-X
[10] DOI: 10.1007/BF02783051 · Zbl 0919.03039
[11] DOI: 10.2307/2007004
[12] DOI: 10.1007/BFb0098619
[13] DOI: 10.1090/S0002-9947-1976-0419236-X
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.