The cofinality characterization of non-homogeneously characterizable cardinals

From papers

Let κ\kappa be a characterizable cardinal. A cardinal is homogeneously characterizable if it is characterized by a homogeneous Scott sentence, and cf(κ)\operatorname{cf}(\kappa) denotes its cofinality.

Cofinality conjecture. For κ\kappa a characterizable cardinal, κ\kappa is not homogeneously characterizable if and only if

cf(κ)=ω.\operatorname{cf}(\kappa)=\omega.

This would characterize exactly which characterizable cardinals fail to be homogeneously characterizable. The surrounding discussion presents it as an open question, noting that it is consistent that all cardinals in CHω1,ωHCHω1,ω{\mathcal{CH}_{\omega_1,\omega}}\setminus{\mathcal{HCH}_{\omega_1,\omega}} have cofinality ω\omega, but does not establish the stated equivalence.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ioannis Souldatos, “Characterizing the powerset by a complete (Scott) sentence”, arXiv:1205.3522 (2017).

Solutions 0

No solutions have been posted yet.