Bounded dagger principles

Toshimichi Usuba

doi:10.1002/malq.201300019

Bounded dagger principles

Toshimichi Usuba^*

^*Corresponding author for this work

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

2 Citations (Scopus)

Abstract

For an uncountable cardinal κ, let (†)κ be the assertion that every ω₁-stationary preserving poset of size ≤κ is semiproper. We prove that (†)ω2 is a strong principle which implies a strong form of Chang's conjecture. We also show that (†)2ω1 implies that NS ω1 is presaturated.

Original language	English
Pages (from-to)	266-272
Number of pages	7
Journal	Mathematical Logic Quarterly
Volume	60
Issue number	4-5
DOIs	https://doi.org/10.1002/malq.201300019
Publication status	Published - 2014 Aug
Externally published	Yes

ASJC Scopus subject areas

Logic

Access to Document

10.1002/malq.201300019

Cite this

@article{3747f07ac9b3496aaba11faab0080cca,

title = "Bounded dagger principles",

abstract = "For an uncountable cardinal κ, let (†)κ be the assertion that every ω1-stationary preserving poset of size ≤κ is semiproper. We prove that (†)ω2 is a strong principle which implies a strong form of Chang's conjecture. We also show that (†)2ω1 implies that NS ω1 is presaturated.",

author = "Toshimichi Usuba",

year = "2014",

month = aug,

doi = "10.1002/malq.201300019",

language = "English",

volume = "60",

pages = "266--272",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "4-5",

}

TY - JOUR

T1 - Bounded dagger principles

AU - Usuba, Toshimichi

PY - 2014/8

Y1 - 2014/8

N2 - For an uncountable cardinal κ, let (†)κ be the assertion that every ω1-stationary preserving poset of size ≤κ is semiproper. We prove that (†)ω2 is a strong principle which implies a strong form of Chang's conjecture. We also show that (†)2ω1 implies that NS ω1 is presaturated.

AB - For an uncountable cardinal κ, let (†)κ be the assertion that every ω1-stationary preserving poset of size ≤κ is semiproper. We prove that (†)ω2 is a strong principle which implies a strong form of Chang's conjecture. We also show that (†)2ω1 implies that NS ω1 is presaturated.

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

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

U2 - 10.1002/malq.201300019

DO - 10.1002/malq.201300019

M3 - Article

AN - SCOPUS:84905195283

SN - 0942-5616

VL - 60

SP - 266

EP - 272

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 4-5

ER -

Bounded dagger principles

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this