Characterizing large cardinals in terms of layered posets

DOI10.1016/J.APAL.2016.11.008MaRDI QIDQ515568zbMATH OpenOpenAlexFDO

Authors Philipp Lücke, Sean Cox

Publication date 16 March 2017

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.03831

zbMATH Keywords

weakly compact cardinalsKnaster propertylayered posetsproductivity of chain conditionsspecialization forcings for trees

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: Given an uncountable regular cardinal $kappa$, a partial order is $kappa$-stationarily layered if the collection of regular suborders of $mathbbP$ of cardinality less than $kappa$ is stationary in $mathcal{P}_{k}appa(mathbbP)$. 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.

Recommendations

• Model theoretic characterizations of large cardinals
• Large cardinals and higher degree theory
• scientific article; zbMATH DE number 3961600
• Large cardinals from determinacy
• Large cardinals and covering numbers
• Determinacy and large cardinals
• The Ultrafilter Characterization of Huge Cardinals
• Ultrafilters and large cardinals
• Asymptotic structures of cardinals
• Cardinal characteristics, projective wellorders and large continuum

Cites work

• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 3422371 (Why is no real title available?)
• Ascending paths and forcings that specialize higher Aronszajn trees
• Baire irresolvable spaces and lifting for a layered ideal
• Cardinal invariants on Boolean algebras
• Chain conditions of products, and weakly compact cardinals
• Combinatorial Characterization of Supercompact Cardinals
• Complicated colorings
• Ideals and generic elementary embeddings
• Layered posets and Kunen's universal collapse
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• More fine structural global square sequences
• On strong compactness and supercompactness
• On the Hamkins approximation property
• Partition relations for partially ordered sets
• Partitioning pairs of countable ordinals
• Saturated ideals
• Some combinatorial problems concerning uncountable cardinals
• The consistency strength of ``every stationary set reflects
• The fine structure of the constructible hierarchy
• Walks on ordinals and their characteristics
• Weak square sequences and special Aronszajn trees

Cited in

(9)

• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• Strong unfoldability, shrewdness and combinatorial consequences
• Knaster and friends. I: Closed colorings and precalibers
• KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS
• Layered posets and Kunen's universal collapse
• Knaster and friends II: The C-sequence number
• Axiom \(\mathcal{A}\) and supercompactness
• ON CONFIGURATIONS CONCERNING CARDINAL CHARACTERISTICS AT REGULAR CARDINALS
• SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS

This page was built for publication: Characterizing large cardinals in terms of layered posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515568)