A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees

DOI10.1007/S10474-014-0419-ZMaRDI QIDQ484527zbMATH OpenOpenAlexFDO

Authors Ari Meir Brodsky

Publication date 7 January 2015

Published in Acta Mathematica Hungarica (Search for Journal in Brave)

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

zbMATH Keywords

elementary submodelBaumgartner-Hajnal-Todorcevic theoremdiagonal unionnon-reflecting idealnonspecial treepartition calculuspressing-down lemmaregressive functionstationary treevery nice collectionErdős-Rado theorem

Mathematics Subject Classification ID

Trees (05C05) Combinatorics of partially ordered sets (06A07) Partition relations (03E02) Ramsey theory (05D10) Models of arithmetic and set theory (03C62)

Abstract: Building on early work by Stevo Todorcevic, we describe a theory of stationary subtrees of trees of successor-cardinal height. We define the diagonal union of subsets of a tree, as well as normal ideals on a tree, and we characterize arbitrary subsets of a non-special tree as being either stationary or non-stationary. We then use this theory to prove the following partition relation for trees: Main Theorem: Let $kappa$ be any infinite regular cardinal, let $xi$ be any ordinal such that $2^{left|xiight|}<kappa$, and let $k$ be any natural number. Then [ ext{non-$left(2^{<kappa}ight)$-special tree } o left(kappa + xi ight)^2_k. ] This is a generalization to trees of the Balanced Baumgartner-Hajnal-Todorcevic Theorem, which we recover by applying the above to the cardinal $(2^{<kappa}{)}^{+}$, the simplest example of a non-$(2^{<kappa})$-special tree. As a corollary, we obtain a general result for partially ordered sets: Theorem: Let $kappa$ be any infinite regular cardinal, let $xi$ be any ordinal such that $2^{left|xiight|}<kappa$, and let $k$ be any natural number. Let $P$ be a partially ordered set such that $Po(2^{<kappa}{)}_{2^{<kappa}}^1$. Then [ P o left(kappa + xi ight)^2_k. ]

Recommendations

• scientific article; zbMATH DE number 4177078
• On a conjecture of Graham and Häggkvist for random trees
• A fixed-point theorem for trees
• A Borg–Levinson theorem for trees
• Several asymptotic bounds on the Balaban indices of trees
• scientific article; zbMATH DE number 4023311
• scientific article; zbMATH DE number 933181
• Bounds on the Balaban index of trees
• Limit theorems for random trees.
• A note on the Horton-Strahler number for random trees

Cites work

• scientific article; zbMATH DE number 3888510 (Why is no real title available?)
• scientific article; zbMATH DE number 3118557 (Why is no real title available?)
• scientific article; zbMATH DE number 3875256 (Why is no real title available?)
• scientific article; zbMATH DE number 3877173 (Why is no real title available?)
• scientific article; zbMATH DE number 4139731 (Why is no real title available?)
• scientific article; zbMATH DE number 3821802 (Why is no real title available?)
• scientific article; zbMATH DE number 3489125 (Why is no real title available?)
• scientific article; zbMATH DE number 3530624 (Why is no real title available?)
• scientific article; zbMATH DE number 1097274 (Why is no real title available?)
• scientific article; zbMATH DE number 1153678 (Why is no real title available?)
• scientific article; zbMATH DE number 1795292 (Why is no real title available?)
• scientific article; zbMATH DE number 887756 (Why is no real title available?)
• scientific article; zbMATH DE number 3078658 (Why is no real title available?)
• A note on transfinite ordinals
• A partition calculus in set theory
• A partition relation using strongly compact cardinals
• A proof (involving Martin's axiom) of a partition relation
• A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees
• Combinatorial set theory
• Combinatorial set theory: Partition relations for cardinals
• Embedding Trees in the Rationals
• Infinite Combinatorics
• Notes on combinatorial set theory
• Partition Relations
• Partition relations for partially ordered sets
• Partition relations for successor cardinals
• Set Theory
• Set theory.
• The use of elementary substructures in combinatorics
• Verallgemeinerung eines Satzes von Alexandroff und Urysohn
• Walks on ordinals and their characteristics

Cited in

(4)

• A tail cone version of the Halpern-Läuchli theorem at a large cardinal
• In memoriam: James Earl Baumgartner (1943--2011)
• A game-theoretic proof of Shelah's theorem on labeled trees
• A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees

This page was built for publication: A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees

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