-morasses, and a weak form of Martin's axiom provable in
Trans. Amer. Math. Soc. 285 (1984), 617-627
Primary 04A20; Secondary 03E40, 03E50
Full-text PDF Free Access
Similar Articles |
Abstract: We prove, in ZFC, that simplified gap- morasses of height exist. By earlier work on the relationship between morasses and forcing it immediately follows that a certain Martin's axiom-type forcing axiom is provable in ZFC. We show that this forcing axiom can be thought of as a weak form of and give some applications.
F. Hausdorff, Summen von mengen, Fund. Math. 26 (1936), 241-255.
Hodges and Saharon
Shelah, Infinite games and reduced products, Ann. Math. Logic
20 (1981), no. 1, 77–108. MR 611395
Kunen, Set theory, Studies in Logic and the Foundations of
Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam, 1980.
An introduction to independence proofs. MR 597342
Velleman, Simplified morasses, J. Symbolic Logic
49 (1984), no. 1, 257–271. MR 736620
- F. Hausdorff, Summen von mengen, Fund. Math. 26 (1936), 241-255.
- W. Hodges and S. Shelah, Infinite games and reduced products, Ann. Math. Logic 20 (1981), 77-108. MR 611395 (82f:03025)
- K. Kunen, Set theory, an introduction to independence proofs, North-Holland, Amsterdam, 1980. MR 597342 (82f:03001)
- D. Velleman, Simplified morasses, J. Symbolic Logic 49 (1984), 257-271. MR 736620 (85i:03162)
Retrieve articles in Transactions of the American Mathematical Society
Retrieve articles in all journals
© Copyright 1984 American Mathematical Society