Bounded dagger principles

Research output: Contribution to journalArticle

2 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)266-272
Number of pages7
JournalMathematical Logic Quarterly
Volume60
Issue number4-5
DOIs
Publication statusPublished - 2014
Externally publishedYes

Fingerprint

Imply
Uncountable
Poset
Assertion
Form

ASJC Scopus subject areas

  • Logic

Cite this

Bounded dagger principles. / Usuba, Toshimichi.

In: Mathematical Logic Quarterly, Vol. 60, No. 4-5, 2014, p. 266-272.

Research output: Contribution to journalArticle

Usuba, Toshimichi. / Bounded dagger principles. In: Mathematical Logic Quarterly. 2014 ; Vol. 60, No. 4-5. pp. 266-272.
@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",
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

Y1 - 2014

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

VL - 60

SP - 266

EP - 272

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

SN - 0942-5616

IS - 4-5

ER -