Partial strong compactness and squares

2018/04/16 by Hayut, Yair
#03E55 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1804.05758

Abstract

In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of L_κ,κ. Using this equivalence we show that if any κ-complete filter on λ can be extended to a κ-complete ultrafilter and λ^

Related

• Square Compactness and the filter extension property
• Squares, ultrafilters and forcing axioms
• Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. III
• Compactness and Comparison
• A note on δ-strongly compact cardinals