Poésie Aristotélienne

Shimon Garti; Saharon Shelah

doi:10.36045/j.bbms.240523

Poésie Aristotélienne

Shimon Garti, Saharon Shelah

Einstein Institute of Mathematics

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

Abstract

We prove that the exact consistency strength of (^ω_ω²₁) → (_ωⁿ₁)_ω for every n ∈ ω with (^ω_ω²₁) 9 (_ω^ω₁)_ω is an ω₁-Erdős cardinal. We also prove that if κ is strongly inaccessible then (^κ_κ⁺) → (_κ²)_<κ implies (^κ_κ⁺) → (^γ_κ)_<κ for every γ ∈ κ.

Original language	French
Pages (from-to)	67-74
Number of pages	8
Journal	Bulletin of the Belgian Mathematical Society - Simon Stevin
Volume	32
Issue number	1
DOIs	https://doi.org/10.36045/j.bbms.240523
State	Published - Apr 2025

Bibliographical note

Publisher Copyright:
© 2025 Belgian Mathematical Society. All rights reserved.

Keywords

Aristotelian poetry
Erdős cardinals
Polarized partition relations

Access to Document

10.36045/j.bbms.240523

Cite this

@article{1e61bfd8bb0e4cd1913f5e89b7b8a168,

title = "Po{\'e}sie Aristot{\'e}lienne",

abstract = "We prove that the exact consistency strength of (ωω21) → (ωn1)ω for every n ∈ ω with (ωω21) 9 (ωω1)ω is an ω1-Erd{\H o}s cardinal. We also prove that if κ is strongly inaccessible then (κκ+) → (κ2)<κ implies (κκ+) → (γκ)<κ for every γ ∈ κ.",

keywords = "Aristotelian poetry, Erd{\H o}s cardinals, Polarized partition relations",

author = "Shimon Garti and Saharon Shelah",

year = "2025",

month = apr,

doi = "10.36045/j.bbms.240523",

language = "צרפתית",

volume = "32",

pages = "67--74",

journal = "Bulletin of the Belgian Mathematical Society - Simon Stevin",

issn = "1370-1444",

publisher = "Belgian Mathematical Society",

number = "1",

}

TY - JOUR

T1 - Poésie Aristotélienne

AU - Garti, Shimon

AU - Shelah, Saharon

PY - 2025/4

Y1 - 2025/4

N2 - We prove that the exact consistency strength of (ωω21) → (ωn1)ω for every n ∈ ω with (ωω21) 9 (ωω1)ω is an ω1-Erdős cardinal. We also prove that if κ is strongly inaccessible then (κκ+) → (κ2)<κ implies (κκ+) → (γκ)<κ for every γ ∈ κ.

AB - We prove that the exact consistency strength of (ωω21) → (ωn1)ω for every n ∈ ω with (ωω21) 9 (ωω1)ω is an ω1-Erdős cardinal. We also prove that if κ is strongly inaccessible then (κκ+) → (κ2)<κ implies (κκ+) → (γκ)<κ for every γ ∈ κ.

KW - Aristotelian poetry

KW - Erdős cardinals

KW - Polarized partition relations

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

U2 - 10.36045/j.bbms.240523

DO - 10.36045/j.bbms.240523

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

AN - SCOPUS:105005729940

SN - 1370-1444

VL - 32

SP - 67

EP - 74

JO - Bulletin of the Belgian Mathematical Society - Simon Stevin

JF - Bulletin of the Belgian Mathematical Society - Simon Stevin

IS - 1

ER -

Poésie Aristotélienne

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Cite this