Special square sequences

Todorčević, Stevo

doi:10.1090/S0002-9939-1989-0929410-6

Special square sequences
HTML articles powered by AMS MathViewer

by Stevo Todorčević PDF

Proc. Amer. Math. Soc. 105 (1989), 199-205 Request permission

Abstract:

If there is a special square sequence then there is a nonspecial one.

References

James E. Baumgartner, A new class of order types, Ann. Math. Logic 9 (1976), no. 3, 187–222. MR 416925, DOI 10.1016/0003-4843(76)90001-2
Keith J. Devlin, Reduced powers of $\aleph _{2}$-trees, Fund. Math. 118 (1983), no. 2, 129–134. MR 732661, DOI 10.4064/fm-118-2-129-134
Keith J. Devlin, Constructibility, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1984. MR 750828, DOI 10.1007/978-3-662-21723-8
Leo Harrington and Saharon Shelah, Some exact equiconsistency results in set theory, Notre Dame J. Formal Logic 26 (1985), no. 2, 178–188. MR 783595, DOI 10.1305/ndjfl/1093870823
R. Björn Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), 229–308; erratum, ibid. 4 (1972), 443. With a section by Jack Silver. MR 309729, DOI 10.1016/0003-4843(72)90001-0
Richard Laver and Saharon Shelah, The $\aleph _{2}$-Souslin hypothesis, Trans. Amer. Math. Soc. 264 (1981), no. 2, 411–417. MR 603771, DOI 10.1090/S0002-9947-1981-0603771-7
Saharon Shelah and Lee Stanley, Weakly compact cardinals and nonspecial Aronszajn trees, Proc. Amer. Math. Soc. 104 (1988), no. 3, 887–897. MR 964870, DOI 10.1090/S0002-9939-1988-0964870-5
Stevo Todorčević, Stationary sets, trees and continuums, Publ. Inst. Math. (Beograd) (N.S.) 29(43) (1981), 249–262. MR 657114
Stevo Todorčević, Partition relations for partially ordered sets, Acta Math. 155 (1985), no. 1-2, 1–25. MR 793235, DOI 10.1007/BF02392535
Stevo Todorčević, Partitioning pairs of countable ordinals, Acta Math. 159 (1987), no. 3-4, 261–294. MR 908147, DOI 10.1007/BF02392561
Boban Veli ković, Jensen’s $\square$ principles and the Novák number of partially ordered sets, J. Symbolic Logic 51 (1986), no. 1, 47–58. MR 830071, DOI 10.2307/2273941

Forcing axioms and stationary sets