The cofinality characterization of non-homogeneously characterizable cardinals

At least 13 years old · documented by

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.