Natasha Dobrinen

collaborators

Showing math.LOShow 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.LO2025

Tukey-idempotency and strong p-points

Tom Benhamou, Natasha Dobrinen, Tan Özalp

We characterize strong $p$ -point ultrafilters by showing that they are exactly those $p$ -points that are not Tukey above $(ω^{ω}, \leq)$ ; or equivalently, those $p$ -points that are no…

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

The Henson graphs: colorings and codings

Tukey-idempotency and strong p-points

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