Bounded Martin's Maximum, Weak ErdoS cardinals, and ψ

David Asperó; Philip D. Welch

doi:10.2178/jsl/1190150154

Bounded Martin's Maximum, Weak ErdoS cardinals, and ψ

David Asperó, Philip D. Welch

Algebra, Number Theory, Logic, and Representations (ANTLR)

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

Abstract

We prove that a form of the Erdos property (consistent with V = L[H] and strictly weaker than the Weak Chang's Conjecture at ?), together with Bounded Martin's Maximum implies that Woodin's principle ? holds, and therefore 2 = ?. We also prove that ? implies that every function f: ? ? ? 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.

Original language	English
Pages (from-to)	1141-1152
Number of pages	12
Journal	Journal of Symbolic Logic
Volume	67
Issue number	3
DOIs	https://doi.org/10.2178/jsl/1190150154
Publication status	Published - 1 Sep 2002

Keywords

ψAC
Bounded Martin's Maximum
Bounding by canonical functions
Erdos cardinals

Access to Document

10.2178/jsl/1190150154

Cite this

@article{87a9b0d238104931b06c0a93580449f1,

title = "Bounded Martin's Maximum, Weak ErdoS cardinals, and ψ",

abstract = "We prove that a form of the Erdos property (consistent with V = L[H] and strictly weaker than the Weak Chang's Conjecture at ?), together with Bounded Martin's Maximum implies that Woodin's principle ? holds, and therefore 2 = ?. We also prove that ? implies that every function f: ? ? ? 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 = "ψAC, Bounded Martin's Maximum, Bounding by canonical functions, Erdos cardinals",

author = "David Asper{\'o} and Welch, {Philip D.}",

year = "2002",

month = sep,

day = "1",

doi = "10.2178/jsl/1190150154",

language = "English",

volume = "67",

pages = "1141--1152",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - Bounded Martin's Maximum, Weak ErdoS cardinals, and ψ

AU - Asperó, David

AU - Welch, Philip D.

PY - 2002/9/1

Y1 - 2002/9/1

N2 - We prove that a form of the Erdos property (consistent with V = L[H] and strictly weaker than the Weak Chang's Conjecture at ?), together with Bounded Martin's Maximum implies that Woodin's principle ? holds, and therefore 2 = ?. We also prove that ? implies that every function f: ? ? ? 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.

AB - We prove that a form of the Erdos property (consistent with V = L[H] and strictly weaker than the Weak Chang's Conjecture at ?), together with Bounded Martin's Maximum implies that Woodin's principle ? holds, and therefore 2 = ?. We also prove that ? implies that every function f: ? ? ? 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.

KW - ψAC

KW - Bounded Martin's Maximum

KW - Bounding by canonical functions

KW - Erdos cardinals

UR - http://www.scopus.com/inward/record.url?scp=0036744434&partnerID=8YFLogxK

U2 - 10.2178/jsl/1190150154

DO - 10.2178/jsl/1190150154

M3 - Article

AN - SCOPUS:0036744434

VL - 67

SP - 1141

EP - 1152

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 3

ER -

Bounded Martin's Maximum, Weak ErdoS cardinals, and ψ

Abstract

Keywords

Access to Document

Other files and links

Cite this