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

DOI10.1007/S10474-014-0419-ZzbMATH Open1324.03013arXiv1312.4700OpenAlexW3099299744MaRDI QIDQ484527FDOQ484527

Authors: Ari Meir Brodsky 

Publication date: 7 January 2015

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

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. ]

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

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

zbMATH Keywords

elementary submodelBaumgartner-Hajnal-Todorcevic theoremdiagonal union[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Erd%EF%BF%BD%EF%BF%BDs-Rado+theorem&go=Go Erd��s-Rado theorem]non-reflecting idealnonspecial treepartition calculuspressing-down lemmaregressive functionstationary treevery nice collection

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)

Cites Work

• Set Theory
• Set theory.
• A partition calculus in set theory
• Title not available (Why is that?)
• Combinatorial set theory
• Title not available (Why is that?)
• Combinatorial set theory: Partition relations for cardinals
• Title not available (Why is that?)
• A proof (involving Martin's axiom) of a partition relation
• Walks on ordinals and their characteristics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Embedding Trees in the Rationals
• Title not available (Why is that?)
• Partition relations for partially ordered sets
• The use of elementary substructures in combinatorics
• Notes on combinatorial set theory
• Verallgemeinerung eines Satzes von Alexandroff und Urysohn
• Partition Relations
• Infinite Combinatorics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on transfinite ordinals
• Title not available (Why is that?)
• A partition relation using strongly compact cardinals
• A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees
• Title not available (Why is that?)
• Partition relations for successor cardinals
• Title not available (Why is that?)

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)