Partial strong compactness and squares
Logic
2018-09-18 v2
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 . Using this equivalence we show that if any -complete filter on can be extended to a -complete ultrafilter and then fails for all regular . As an application, we improve the lower bound for the consistency strength of -compactness, a case which was explicitly considered by Mitchell.
Keywords
Cite
@article{arxiv.1804.05758,
title = {Partial strong compactness and squares},
author = {Yair Hayut},
journal= {arXiv preprint arXiv:1804.05758},
year = {2018}
}