-morasses, and a weak form of Martin's axiom provable in
Author: Dan Velleman
Journal: Trans. Amer. Math. Soc. 285 (1984), 617-627
MSC: Primary 04A20; Secondary 03E40, 03E50
MathSciNet review: 752494
Full-text PDF Free Access
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.
-  Wilfrid Hodges and Saharon Shelah, Infinite games and reduced products, Ann. Math. Logic 20 (1981), no. 1, 77–108. MR 611395, https://doi.org/10.1016/0003-4843(81)90012-7
-  Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
-  Dan Velleman, Simplified morasses, J. Symbolic Logic 49 (1984), no. 1, 257–271. MR 736620, https://doi.org/10.2307/2274108
- 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)