Diagonal Prikry extensions. (English) Zbl 1245.03078

The authors prove some results in singular cardinal combinatorics. Most of the results are connected with Shelah’s pcf theory. This is done by an analysis of the generic extensions of Prikry forcing.
They show that consistently there can be a set which carries two scales, one of which is very good and the other is very far from being very good. They consider the axiom “there is \(j : V \rightarrow M\) with \(V_{\lambda} \subseteq M\)” and show that this axiom is consistent with \(2^{\lambda} > \lambda^+\). This is done using an extender-based Prikry forcing. Further on they show that extender-based Prikry forcing adds a good scale in a canonical way.


03E45 Inner models, including constructibility, ordinal definability, and core models
03E04 Ordered sets and their cofinalities; pcf theory
03E35 Consistency and independence results
03E55 Large cardinals
Full Text: DOI Link


[1] DOI: 10.1090/S0894-0347-1994-1249391-8
[2] Elementary embeddings and infinitary combinatorics 36 pp 407– (1971)
[3] A very weak square principle 62 pp 175– (1997)
[4] DOI: 10.1305/ndjfl/1125409329 · Zbl 1092.03022
[5] DOI: 10.1016/j.apal.2005.11.007 · Zbl 1096.03060
[6] DOI: 10.1016/j.apal.2004.04.002 · Zbl 1058.03051
[7] The Higher Infinite (2003)
[8] A tribute to paul erdos pp 289– (1990)
[9] DOI: 10.1090/S0002-9939-07-08716-3 · Zbl 1140.03033
[10] Extender based forcings 59 pp 445– (1994)
[11] DOI: 10.1016/S0168-0072(01)00098-7 · Zbl 0997.03042
[12] Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. California, Berkeley, Calif, 1971) pp 365– (1974)
[13] A model for a very good scale and a bad scale 73 pp 1361– (2008) · Zbl 1156.03045
[14] DOI: 10.1007/BF02760652 · Zbl 0467.03049
[15] DOI: 10.1007/BF02759809 · Zbl 0369.02035
[16] The non-compactness of square 68 pp 637– (2003) · Zbl 1069.03032
[17] DOI: 10.1142/S021906130100003X · Zbl 0988.03075
[18] DOI: 10.1305/ndjfl/1125409326 · Zbl 1121.03053
[19] DOI: 10.1090/S0002-9939-97-03995-6 · Zbl 0881.03027
[20] DOI: 10.1016/S0168-0072(97)00031-6 · Zbl 0890.03027
[21] DOI: 10.1007/BF02761175 · Zbl 0381.03039
[22] DOI: 10.1007/BF02759779 · Zbl 0364.02040
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.