Distributive Aronszajn trees

DOI10.4064/FM542-4-2018MaRDI QIDQ5376617zbMATH OpenOpenAlexFDO

Authors Assaf Rinot, Ari Meir Brodsky

Publication date 13 May 2019

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

Aronszajn treeC-sequenceclub guessingdistributive treefat setnonspecial Aronszajn treepostprocessing functionsquare principleuniformly coherent souslin treewalks on ordinals

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other set-theoretic hypotheses and axioms (03E65)

Abstract: Ben-David and Shelah proved that if $lambda$ is a singular strong-limit cardinal and $2^{l}ambda=lambd{a}^{+}$, then $squar{e}_l^{\ast }ambda$ entails the existence of a normal $lambda$-distributive $lambd{a}^{+}$-Aronszajn tree. Here, it is proved that the same conclusion remains valid after replacing the hypothesis $squar{e}_l^{\ast }ambda$ by $square(lambd{a}^{+},<lambda)$. As $square(lambd{a}^{+},<lambda)$ does not impose a bound on the order-type of the witnessing clubs, our construction is necessarily different from that of Ben-David and Shelah, and instead uses walks on ordinals augmented with club guessing. A major component of this work is the study of postprocessing functions and their effect on square sequences. A byproduct of this study is the finding that for $kappa$ regular uncountable, $square(kappa)$ entails the existence of a partition of $kappa$ into $kappa$ many fat sets. When contrasted with a classic model of Magidor, this shows that it is equiconsistent with the existence of a weakly compact cardinal that $omeg{a}_2$ cannot be split into two fat sets.

Recommendations

• Non-special Aronszajn trees on \(\aleph _{\omega +1}\)
• Aronszajn trees and partitions
• Weakly Compact Cardinals and Nonspecial Aronszajn Trees
• Weak square sequences and special Aronszajn trees
• Aronszajn trees and failure of the singular cardinal hypothesis

Cites work

• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• REDUCED POWERS OF SOUSLIN TREES
• Square with built-in diamond-plus
• Strong Chang's conjecture, semi-stationary reflection, the strong tree property and two-cardinal square principles

Cited in

(21)

• Was Ulam right? I: basic theory and subnormal ideals
• A remark on Schimmerling's question
• A microscopic approach to Souslin-tree construction. II
• A large pairwise far family of Aronszajn trees
• Weak square sequences and special Aronszajn trees
• Transformations of the transfinite plane
• Knaster and friends II: The C-sequence number
• Souslin trees at successors of regular cardinals
• Partitioning a reflecting stationary set
• scientific article; zbMATH DE number 5263145 (Why is no real title available?)
• Compactness and guessing principles in the Radin extensions
• KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS
• Was Ulam right? II: Small width and general ideals
• Approximating diamond principles on products at an inaccessible cardinal
• The variety of projections of a tree Prikry forcing
• More minimal non-\(\sigma\)-scattered linear orders
• A club guessing toolbox. I
• Ladders and squares
• A Shelah group in ZFC
• Was Ulam right? III: Indecomposable ideals
• The power of trees

This page was built for publication: Distributive Aronszajn trees

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