Forcing axioms and the Galvin number

Shimon Garti; Yair Hayut; Haim Horowitz; Menachem Magidor

doi:10.1007/s10998-021-00407-9

Forcing axioms and the Galvin number

Shimon Garti, Yair Hayut, Haim Horowitz, Menachem Magidor

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

3 Scopus citations

Abstract

We study the Galvin property. We show that various square principles imply that the cofinality of the Galvin number is uncountable (or even greater than ℵ₁). We prove that the proper forcing axiom is consistent with a strong negation of the Glavin property.

Original language	English
Pages (from-to)	250-258
Number of pages	9
Journal	Periodica Mathematica Hungarica
Volume	84
Issue number	2
DOIs	https://doi.org/10.1007/s10998-021-00407-9
State	Published - 1 Jun 2022
Externally published	Yes

Keywords

Galvin’s property
Martin’s maximum
pcf Theory
PFA

ASJC Scopus subject areas

General Mathematics

Access to Document

10.1007/s10998-021-00407-9

Cite this

@article{75424625b125442094563a86b85a04a4,

title = "Forcing axioms and the Galvin number",

abstract = "We study the Galvin property. We show that various square principles imply that the cofinality of the Galvin number is uncountable (or even greater than ℵ1). We prove that the proper forcing axiom is consistent with a strong negation of the Glavin property.",

keywords = "Galvin{\textquoteright}s property, Martin{\textquoteright}s maximum, pcf Theory, PFA",

author = "Shimon Garti and Yair Hayut and Haim Horowitz and Menachem Magidor",

note = "Publisher Copyright: {\textcopyright} 2021, Akad{\'e}miai Kiad{\'o}, Budapest, Hungary.",

year = "2022",

month = jun,

day = "1",

doi = "10.1007/s10998-021-00407-9",

language = "English",

volume = "84",

pages = "250--258",

journal = "Periodica Mathematica Hungarica",

issn = "0031-5303",

publisher = "Akademiai Kiado",

number = "2",

}

TY - JOUR

T1 - Forcing axioms and the Galvin number

AU - Garti, Shimon

AU - Hayut, Yair

AU - Horowitz, Haim

AU - Magidor, Menachem

PY - 2022/6/1

Y1 - 2022/6/1

N2 - We study the Galvin property. We show that various square principles imply that the cofinality of the Galvin number is uncountable (or even greater than ℵ1). We prove that the proper forcing axiom is consistent with a strong negation of the Glavin property.

AB - We study the Galvin property. We show that various square principles imply that the cofinality of the Galvin number is uncountable (or even greater than ℵ1). We prove that the proper forcing axiom is consistent with a strong negation of the Glavin property.

KW - Galvin’s property

KW - Martin’s maximum

KW - pcf Theory

KW - PFA

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

U2 - 10.1007/s10998-021-00407-9

DO - 10.1007/s10998-021-00407-9

M3 - Article

AN - SCOPUS:85112655342

SN - 0031-5303

VL - 84

SP - 250

EP - 258

JO - Periodica Mathematica Hungarica

JF - Periodica Mathematica Hungarica

IS - 2

ER -

Forcing axioms and the Galvin number

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this