Compactness via Consistency Properties
We will use consistency properties to characterize strongly compact cardinals, first showing an adequate Model Existence Theorem for larger fragments.
math.LO↗
arXiv subjects
Edgar Valenzuela
Publications and source records attributed to Edgar Valenzuela.