A characterization of Martin's axiom in terms of absoluteness
Journal of Symbolic Logic 62 (2):366-372 (1997)
| Abstract | Martin's axiom is equivalent to the statement that the universe is absolute under ccc forcing extensions for Σ 1 sentences with a subset of $\kappa, \kappa , as a parameter | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMichael L. Wage (1979). Almost Disjoint Sets and Martin's Axiom. Journal of Symbolic Logic 44 (3):313-318.
Adam Obtułowicz (1989). Categorical and Algebraic Aspects of Martin-Löf Type Theory. Studia Logica 48 (3):299 - 317.
André Casajus (2011). Differential Marginality, van den Brink Fairness, and the Shapley Value. Theory and Decision 71 (2):163-174.
Teruyuki Yorioka (2003). Distinguishing Types of Gaps in P(Ω)/Fin. Journal of Symbolic Logic 68 (4):1261-1276.
G. P. Monro (1983). On Generic Extensions Without the Axiom of Choice. Journal of Symbolic Logic 48 (1):39-52.
Tarek Sayed Ahmed (2002). Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. Studia Logica 72 (2):285 - 309.
Joan Bagaria & Roger Bosch (2004). Solovay Models and Forcing Extensions. Journal of Symbolic Logic 69 (3):742-766.
William Weiss (1981). The Equivalence of a Generalized Martin's Axiom to a Combinatorial Principle. Journal of Symbolic Logic 46 (4):817-821.
Saharon Shelah (1987). Semiproper Forcing Axiom Implies Martin Maximum but Not |mathrmPFA+. Journal of Symbolic Logic 52 (2):360 - 367.
Robert E. Beaudoin (1987). Strong Analogues of Martin's Axiom Imply Axiom R. Journal of Symbolic Logic 52 (1):216-218.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,008 of 549,093 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
