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

DOI10.1017/JSL.2017.55zbMATH Open1468.03053arXiv1704.06827OpenAlexW2609756090MaRDI QIDQ5222520FDOQ5222520

Authors: Jing Zhang 

Publication date: 6 April 2020

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

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.

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

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

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)

Cites Work

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

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
• Higher-dimensional delta-systems
• Some results on consecutive large cardinals. II: Applications of Radin forcing
• A proof of Halpern-Läuchli partition theorem
• 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)