Compactness beyond choice and HOD
Jonathan Osinski
Abstract
We characterise exacting, rank-Berkeley, Berkeley, and club Berkeley cardinals by compactness properties of logics and, equivalently, by compactness properties of certain topological spaces. This raises the strength known to be obtainable by statements about compactness into the realm of choiceless large cardinal axioms, the strongest known statements in terms of consistency strength. Moreover, it shows that compactness assumptions can directly violate the axiom of choice and the axiom V=HOD.
Create a lesson
Related papers
Finite Spectra of Syllogistic Logic with Cardinality Comparisons
Ruiting Jiang
Infinitary provability logic
Mojtaba Mojtahedi, Fedor Pakhomov, Giovanni Soldà
A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
Justus Becker
The theory of nonabelian free groups has no model companion
Olga Kharlampovich, Rizos Sklinos
Uniform generalization of Goodstein's theorem and Cichon's independence proof
Gunnar Wilken
Forking and invariant types in monadic NIP theories
Michael C. Laskowski