Morasses, square and forcing axioms

作者: Charles Morgan

DOI: 10.1016/0168-0072(95)00060-7

关键词:

摘要: Abstract The paper discusses various relationships between the concepts mentioned in title. In Section 1 Todorcevic functions are shown to arise from both morasses and square. 2 theme is of supplements which have some flavour Distinctions drawn differing concepts. 3 forcing axioms related ideas discussed.

参考文章(19)
Alfredo Beller, Ronald Jensen, Ronald Björn Jensen, P Welch, Coding the Universe ,(1982)
Stevo Todorcevic, Aronszajn trees and partitions Israel Journal of Mathematics. ,vol. 52, pp. 53- 58 ,(1985) , 10.1007/BF02776079
Dan Velleman, Simplified Gap-2 morasses Annals of Pure and Applied Logic. ,vol. 34, pp. 171- 208 ,(1987) , 10.1016/0168-0072(87)90070-4
Rami Grossberg, Saharon Shelah, On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A Journal of Symbolic Logic. ,vol. 51, pp. 302- 322 ,(1986) , 10.1017/S0022481200031169
A. Hajnal, A Remark on the Homogeneity of infinite Permutation Groups Bulletin of the London Mathematical Society. ,vol. 22, pp. 529- 532 ,(1990) , 10.1112/BLMS/22.6.529
Saharon Shelah, Lee Stanley, A theorem and some consistency results in partition calculus Annals of Pure and Applied Logic. ,vol. 36, pp. 119- 152 ,(1987) , 10.1016/0168-0072(87)90015-7
S. Shelah, L. Stanley, S-FORCING, I. A "BLACK-BOX" THEOREM FOR MORASSES, WITH APPLICATIONS TO SUPER-SOUSLIN TREES Israel Journal of Mathematics. ,vol. 43, pp. 185- 224 ,(1982) , 10.1007/BF02761942
Alan H. Mekler, Universal structures in power ℵ1 Journal of Symbolic Logic. ,vol. 55, pp. 466- 477 ,(1990) , 10.2307/2274640
Stevo B. Todorčević, Trees, subtrees and order types Annals of Mathematical Logic. ,vol. 20, pp. 233- 268 ,(1981) , 10.1016/0003-4843(81)90005-X
Stevo Todorčević, Partitioning pairs of countable sets Proceedings of the American Mathematical Society. ,vol. 111, pp. 841- 844 ,(1991) , 10.1090/S0002-9939-1991-1036992-4