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 - 1 Apr 2023 |
| Externally published | Yes |
Keywords
- Square
- Strong colorings
- Walks on ordinals
ASJC Scopus subject areas
- Logic