Compactness via Consistency Properties
Edgar Valenzuela
math.LOarXiv:2609.26509
Abstract
We will use consistency properties to characterize strongly compact cardinals, first showing an adequate Model Existence Theorem for larger fragments.
Create a lesson
Related papers
On the foundations of logic and probability, I. Modal sentential calculi
Loic Cosyns
Fine Selection for Intuitionistic Modal Logic
David Fernández-Duque
Asymptotic dimension of commutative monoid actions
Jinmin Wang, Jing Yu, Jingming Zhu
Pointwise provable equality and the failure of composition
Florian Lengyel
Compactness beyond choice and HOD
Jonathan Osinski
Finite Spectra of Syllogistic Logic with Cardinality Comparisons
Ruiting Jiang