Abstract
In a paper from 1997, Shelah asked whether Pr1(λ+,λ+,λ+,λ) holds for every inaccessible cardinal λ. Here, we prove that an affirmative answer follows from □(λ+). Furthermore, we establish that for every pair χ<κ of regular uncountable cardinals, □(κ) implies Pr1(κ,κ,κ,χ).
| Original language | English |
|---|---|
| Article number | 103243 |
| Journal | Annals of Pure and Applied Logic |
| Volume | 174 |
| Issue number | 4 |
| DOIs | |
| State | Published - Apr 2023 |
Bibliographical note
Publisher Copyright:© 2023 Elsevier B.V.
Funding
The first author is partially supported by the European Research Council (grant agreement ERC-2018-StG 802756 ) and by the Israel Science Foundation (grant agreement 2066/18 ). The second author is supported by the Foreign Postdoctoral Fellowship Program of the Israel Academy of Sciences and Humanities and by the Israel Science Foundation (grant agreement 2066/18 ).
| Funders | Funder number |
|---|---|
| European Commission | ERC-2018-StG 802756 |
| Israel Academy of Sciences and Humanities | |
| Israel Science Foundation | 2066/18 |
Keywords
- Square
- Strong colorings
- Walks on ordinals