论文信息 - Regularity of ultrafilters and the core model

Regularity of ultrafilters and the core model

We show that in the core model every uniform ultrafilter is regular. In addition, we prove that the existence of a nonregular uniform ultrafilter on a singular cardinal implies the existence of an inner model with a measurable cardinal.

Hans-Dieter Donder | Hans-Dieter Donder

[1] Kenneth Kunen,et al. On descendingly incomplete ultrafilters , 1971, Journal of Symbolic Logic.

[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[3] Nonregular ultrafilters and large cardinals , 1976 .

[4] K. Prikry. On a problem of Gillman and Keisler , 1970 .

[5] R. Jensen,et al. The fine structure of the constructible hierarchy , 1972 .

[6] Menachem Magidor,et al. On the existence of nonregular ultrafilters and the cardinality of ultrapowers , 1979 .

[7] Akihiro Kanamori,et al. Strong axioms of infinity and elementary embeddings , 1978 .

[8] A. Kanamori. Weakly normal filters and irregular ultrafilters , 1976 .

[9] Tony Dodd,et al. The covering lemma for K , 1982, Ann. Math. Log..

[10] R. Jensen,et al. Some applications of the core model , 1981 .

[11] R. Jensen,et al. The Core Model , 1982, An Introduction to Geographical and Urban Economics.

[12] K. Prikry,et al. Changing Measurable into Accessible Cardinals , 1970 .