Pith. sign in

REVIEW 2 cited by

Big Ramsey degrees using parameter spaces

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2009.00967 v5 pith:DLEBRNX2 submitted 2020-09-02 math.CO cs.DMmath.LO

classification math.COcs.DMmath.LO
keywords degreesramseyspacestheoremboundfinitehomogeneousmany
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We show that the universal homogeneous partial order has finite big Ramsey degrees and discuss several corollaries. Our proof relies on parameter spaces and the Carlson-Simpson theorem rather than on (a strengthening of) the Halpern-L\"auchli theorem and the Milliken tree theorem, which are typically used to bound big Ramsey degrees in the existing literature (originating from the work of Laver and Milliken). This new technique has many additional applications. We show that the homogeneous universal triangle-free graph has finite big Ramsey degrees, providing a short proof of a recent result by Dobrinen. Moreover, generalizing an indivisibility (vertex partition) result of Nguyen van Th\'e and Sauer, we give an upper bound on big Ramsey degrees of metric spaces with finitely many distances. This leads to a new combinatorial argument for the oscillation stability of the Urysohn Sphere.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. $\Pi^0_4$ conservation of a Carlson-Simpson lemma for 1-variable words

    math.LO 2026-07 accept novelty 7.0 of 10

    RCA₀ + CSL¹₂ is ∀Π⁰₄-conservative over RCA₀ + BΣ₂, so neither Henson-graph indivisibility nor the tree theorem for pairs imply IΣ₂.

  2. Oscillating subalgebras of the atomless countable Boolean algebra

    math.LO 2025-05 conditional novelty 7.0 of 10

    The big Ramsey degree of the 3-atom Boolean algebra in the countable atomless Boolean algebra is infinite.

Pith tools