LST Numbers for and style quantifiers
arXiv:2211.08362
Abstract
We introduce two schemes of quantifiers analogous to and , which tell us about regular cardinals of small Cantor-Bendixson rank. We examine how the Löwenheim-Skolem-Tarski numbers of these quantifiers interact with one another, and with those of and . We then find the exact lower bound for each of the LST numbers, assuming the consistency of supercompacts.