A tail cone version of the Halpern-Läuchli theorem at a large cardinal

DOI10.1017/JSL.2017.55MaRDI QIDQ5222520zbMATH OpenOpenAlexFDO

Authors Jing Zhang

Publication date 6 April 2020

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

treesRamsey theoryforcinglarge cardinalsHalpern-Läuchli theorem

Mathematics Subject Classification ID

Partition relations (03E02) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: The classical Halpern-L"auchli theorem states that for any finite coloring of a finite product of finitely branching perfect trees of height $omega$, there exist strong subtrees sharing the same level set such that tuples consisting of elements lying on the same level get the same color. Relative to large cardinals, we establish the consistency of a tail cone version of the Halpern-L"auchli theorem at large cardinal, which, roughly speaking, deals with many colorings simultaneously and diagonally. Among other applications, we generalize a polarized partition relation on rational numbers due to Laver and Galvin to one on linear orders of larger saturation.

Recommendations

• The Halpern-Läuchli theorem at a measurable cardinal
• Forcing and the Halpern-Läuchli theorem
• A proof of Halpern-Läuchli partition theorem
• A density version of the Halpern-Läuchli theorem
• A theory of stationary trees and the balanced Baumgartner-Hajnal-Todorcevic theorem for trees

Cites work

• scientific article; zbMATH DE number 426365 (Why is no real title available?)
• scientific article; zbMATH DE number 3368622 (Why is no real title available?)
• A Partition Theorem
• A partition theorem for a large dense linear order
• A strongly non-Ramsey order type
• Happy families
• Ideals and generic elementary embeddings
• Introduction to Ramsey space
• Iterated forcing and elementary embeddings
• Products of Infinitely Many Perfect Trees
• Saturated ideals
• Some applications of the method of forcing
• The Halpern-Läuchli theorem at a measurable cardinal
• Walks on ordinals and their characteristics

Cited in

(8)

• The Ramsey theory of Henson graphs
• The Halpern-Läuchli theorem at a measurable cardinal
• Forcing and the Halpern-Läuchli theorem
• Some results on consecutive large cardinals. II: Applications of Radin forcing
• A proof of Halpern-Läuchli partition theorem
• Higher-dimensional delta-systems
• The Ramsey theory of the universal homogeneous triangle-free graph
• Ramsey theory of homogeneous structures: current trends and open problems

This page was built for publication: A tail cone version of the Halpern-Läuchli theorem at a large cardinal

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