Characterizing large cardinals in terms of layered posets

DOI10.1016/J.APAL.2016.11.008zbMATH Open1422.03094arXiv1508.03831OpenAlexW2962974885MaRDI QIDQ515568FDOQ515568

Authors: Philipp Lücke, Sean Cox 

Publication date: 16 March 2017

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

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.

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

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

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)

Cites Work

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

Cited In (9)

• Strong unfoldability, shrewdness and combinatorial consequences
• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• 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)