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

forcingHalpern-Läuchli theoremlarge cardinalsRamsey theorytrees

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

• A Partition Theorem
• A partition theorem for a large dense linear order
• A strongly non-Ramsey order type
• Happy families
• scientific article; zbMATH DE number 426365 (Why is no real title available?)
• scientific article; zbMATH DE number 3368622 (Why is no real title available?)
• 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

(9)

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

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)