Square and Delta reflection

Laura Fontanella; Yair Hayut

doi:10.1016/j.apal.2016.04.002

Square and Delta reflection

Laura Fontanella^*, Yair Hayut

^*Corresponding author for this work

Einstein Institute of Mathematics

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

5 Scopus citations

Abstract

Starting from infinitely many supercompact cardinals, we force a model of ZFC where ℵω2+1 satisfies simultaneously a strong principle of reflection, called δ-reflection, and a version of the square principle, denoted □(ℵω2+1). Thus we show that ℵω2+1 can satisfy simultaneously a strong reflection principle and an anti-reflection principle.

Original language	English
Pages (from-to)	663-683
Number of pages	21
Journal	Annals of Pure and Applied Logic
Volume	167
Issue number	8
DOIs	https://doi.org/10.1016/j.apal.2016.04.002
State	Published - 1 Aug 2016

Bibliographical note

Publisher Copyright:
© 2016 Elsevier B.V.

Keywords

Forcing
Large cardinals
Primary
Reflection principles
Secondary
Square

Access to Document

10.1016/j.apal.2016.04.002

Cite this

@article{a5b2f0f04a814814b0da25279041273a,

title = "Square and Delta reflection",

abstract = "Starting from infinitely many supercompact cardinals, we force a model of ZFC where ℵω2+1 satisfies simultaneously a strong principle of reflection, called δ-reflection, and a version of the square principle, denoted □(ℵω2+1). Thus we show that ℵω2+1 can satisfy simultaneously a strong reflection principle and an anti-reflection principle.",

keywords = "Forcing, Large cardinals, Primary, Reflection principles, Secondary, Square",

author = "Laura Fontanella and Yair Hayut",

note = "Publisher Copyright: {\textcopyright} 2016 Elsevier B.V.",

year = "2016",

month = aug,

day = "1",

doi = "10.1016/j.apal.2016.04.002",

language = "אנגלית",

volume = "167",

pages = "663--683",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "8",

}

TY - JOUR

T1 - Square and Delta reflection

AU - Fontanella, Laura

AU - Hayut, Yair

PY - 2016/8/1

Y1 - 2016/8/1

N2 - Starting from infinitely many supercompact cardinals, we force a model of ZFC where ℵω2+1 satisfies simultaneously a strong principle of reflection, called δ-reflection, and a version of the square principle, denoted □(ℵω2+1). Thus we show that ℵω2+1 can satisfy simultaneously a strong reflection principle and an anti-reflection principle.

AB - Starting from infinitely many supercompact cardinals, we force a model of ZFC where ℵω2+1 satisfies simultaneously a strong principle of reflection, called δ-reflection, and a version of the square principle, denoted □(ℵω2+1). Thus we show that ℵω2+1 can satisfy simultaneously a strong reflection principle and an anti-reflection principle.

KW - Forcing

KW - Large cardinals

KW - Primary

KW - Reflection principles

KW - Secondary

KW - Square

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

U2 - 10.1016/j.apal.2016.04.002

DO - 10.1016/j.apal.2016.04.002

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84964388888

SN - 0168-0072

VL - 167

SP - 663

EP - 683

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 8

ER -

Square and Delta reflection

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this