English

Characterizing large cardinals in terms of layered posets

Logic 2016-11-11 v3

Abstract

Given an uncountable regular cardinal κ\kappa, a partial order is κ\kappa-stationarily layered if the collection of regular suborders of P\mathbb{P} of cardinality less than κ\kappa is stationary in Pκ(P)\mathcal{P}_\kappa(\mathbb{P}). We show that weak compactness can be characterized by this property of partial orders by proving that an uncountable regular cardinal κ\kappa is weakly compact if and only if every partial order satisfying the κ\kappa-chain condition is κ\kappa-stationarily layered. We prove a similar result for strongly inaccessible cardinals. Moreover, we show that the statement that all κ\kappa-Knaster partial orders are κ\kappa-stationarily layered implies that κ\kappa is a Mahlo cardinal and every stationary subset of κ\kappa reflects. This shows that this statement characterizes weak compactness in canonical inner models. In contrast, we show that it is also consistent that this statement holds at a non-weakly compact cardinal.

Keywords

Cite

@article{arxiv.1508.03831,
  title  = {Characterizing large cardinals in terms of layered posets},
  author = {Sean Cox and Philipp Lücke},
  journal= {arXiv preprint arXiv:1508.03831},
  year   = {2016}
}