Bounded Martin's Maximum, Weak $Erd\H{o}s$ Cardinals, and $\psi_{AC}$
Journal of Symbolic Logic 67 (3):1141 - 1152 (2002)
| Abstract | We prove that a form of the $Erd\H{o}s$ property (consistent with $V = L\lbrack H_{\omega_2}\rbrack$ and strictly weaker than the Weak Chang's Conjecture at ω1), together with Bounded Martin's Maximum implies that Woodin's principle $\psi_{AC}$ holds, and therefore 2ℵ0 = ℵ2. We also prove that $\psi_{AC}$ implies that every function $f: \omega_1 \rightarrow \omega_1$ is bounded by some canonical function on a club and use this to produce a model of the Bounded Semiproper Forcing Axiom in which Bounded Martin's Maximum fails | |||||||||
| 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,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articles Asper (2002). Bounded Martin's Maximum, Weak $Erd\H{o}s$ Cardinals, and $\Psi_{AC}$. Journal of Symbolic Logic 67 (3).
David Asperó (2002). A Maximal Bounded Forcing Axiom. Journal of Symbolic Logic 67 (1):130-142.
Saharon Shelah (1987). Semiproper Forcing Axiom Implies Martin Maximum but Not |mathrmPFA+. Journal of Symbolic Logic 52 (2):360 - 367.
Andrés Eduardo Caicedo (2005). Projective Well-Orderings and Bounded Forcing Axioms. Journal of Symbolic Logic 70 (2):557 - 572.
Martin Goldstern & Saharon Shelah (1995). The Bounded Proper Forcing Axiom. Journal of Symbolic Logic 60 (1):58-73.
Robert E. Beaudoin (1987). Strong Analogues of Martin's Axiom Imply Axiom R. Journal of Symbolic Logic 52 (1):216-218.
J. Sprenger & R. Heesen (2011). The Bounded Strength of Weak Expectations. Mind 120 (479):819-832.
Oliver Deiser & Dieter Donder (2003). Canonical Functions, Non-Regular Ultrafilters and Ulam's Problem on Ω. Journal of Symbolic Logic 68 (3): 713- 739.
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
Oleg Belegradek (2004). Semi-Bounded Relations in Ordered Modules. Journal of Symbolic Logic 69 (2):499 - 517.
Fernando Ferreira (1994). A Feasible Theory for Analysis. Journal of Symbolic Logic 59 (3):1001-1011.
Domenico Zambella (1996). Notes on Polynomially Bounded Arithmetic. Journal of Symbolic Logic 61 (3):942-966.
Douglas Bridges & Ayan Mahalanobis (2001). Bounded Variation Implies Regulated: A Constructive Proof. Journal of Symbolic Logic 66 (4):1695-1700.
Masahiko Murakami (1999). Standardization Principle of Nonstandard Universes. Journal of Symbolic Logic 64 (4):1645-1655.
Justin Tatch Moore (2005). Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders. Bulletin of Symbolic Logic 11 (1):51-60.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #277,212 of 556,815 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
