Regressive partition relations for infinite cardinals

Hajnal, András; Kanamori, Akihiro; Shelah, Saharon

doi:10.1090/S0002-9947-1987-0869404-5

Regressive partition relations for infinite cardinals
HTML articles powered by AMS MathViewer

by András Hajnal, Akihiro Kanamori and Saharon Shelah PDF

Trans. Amer. Math. Soc. 299 (1987), 145-154 Request permission

Abstract:

The regressive partition relation, which turns out to be important in incompleteness phenomena, is completely characterized in the transfinite case. This work is related to Schmerl $\left [ {\mathbf {S}} \right ]$, whose characterizations we complete.

References

James E. Baumgartner, Canonical partition relations, J. Symbolic Logic 40 (1975), no. 4, 541–554. MR 398837, DOI 10.2307/2271778
J. E. Baumgartner, Ineffability properties of cardinals. I, Infinite and finite sets (Colloq., Keszthely, 1973; dedicated to P. Erdős on his 60th birthday), Vol. I, Colloq. Math. Soc. János Bolyai, Vol. 10, North-Holland, Amsterdam, 1975, pp. 109–130. MR 0384553
P. Erdös and R. Rado, A combinatorial theorem, J. London Math. Soc. 25 (1950), 249–255. MR 37886, DOI 10.1112/jlms/s1-25.4.249
Harvey Friedman, On the necessary use of abstract set theory, Adv. in Math. 41 (1981), no. 3, 209–280. MR 630921, DOI 10.1016/0001-8708(81)90021-9
Akihiro Kanamori and Kenneth McAloon, On Gödel incompleteness and finite combinatorics, Ann. Pure Appl. Logic 33 (1987), no. 1, 23–41. MR 870685, DOI 10.1016/0168-0072(87)90074-1
Kenneth McAloon, A combinatorial characterization of inaccessible cardinals, Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977) Lecture Notes in Math., vol. 669, Springer, Berlin, 1978, pp. 385–390. MR 520196
James H. Schmerl, A partition property characterizing cardinals hyperinaccessible of finite type, Trans. Amer. Math. Soc. 188 (1974), 281–291. MR 337617, DOI 10.1090/S0002-9947-1974-0337617-8
James H. Schmerl and Saharon Shelah, On power-like models for hyperinaccessible cardinals, J. Symbolic Logic 37 (1972), 531–537. MR 317925, DOI 10.2307/2272739
Stevo Todorčević, Partitioning pairs of countable ordinals, Acta Math. 159 (1987), no. 3-4, 261–294. MR 908147, DOI 10.1007/BF02392561