Peter Cholak

activity

20242026

collaborators

Showing 2026Show all

3 papers · 1 filter

math.LO2026

The finite big Ramsey degrees of Henson graphs are provable in $ACA_{0}$

Peter Cholak, Natasha Dobrinen, Henry Towsner

Let $H_{n + 1}$ denote a computable copy of the $(n + 1)$ -clique free universal homogeneous Henson graph, $G$ denote a finite subgraph of $H_{n + 1}$ , and $k (G, n)$ deno…

math.LO2026

The Henson graphs: colorings and codings

Peter Cholak, Natasha Dobrinen, Charlie McCoy

By recent work of \citet{DobrinenICM} and \citet{Balko7} we know that every finite $G$ in the Henson graph $H_{n + 1}$ (the universal ultrahomogeneous $(n + 1)$ -clique free gr…

math.LO2026

Ramsey Theory and Bounding in Arithmetic

Peter Cholak

We explore the relation between various versions of Ramsey theorem and bounding schemes in model $N$ of a fragment of arithmetic $F$ . Our goal is to recast, in a different framew…

The finite big Ramsey degrees of Henson graphs are provable in ACA0​

The Henson graphs: colorings and codings

Ramsey Theory and Bounding in Arithmetic

The finite big Ramsey degrees of Henson graphs are provable in $ACA_{0}$