1 citations · 1 across the 9 of their papers we have counts for
4 papers · 1 filter
The finite big Ramsey degrees of Henson graphs are provable in
Peter Cholak, Natasha Dobrinen, Henry Towsner
Let denote a computable copy of the -clique free universal homogeneous Henson graph, denote a finite subgraph of , and deno…
Hanf Locality and Invariant Elementary Definability
Steven Lindell, Henry Towsner, Scott Weinstein
We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant wit…
The Complexity of the Set of Validities of a Theory
Denis R. Hirschfeldt, Henry Towsner, Scott Weinstein
We study the collection of first-order logical schemata all of whose instances are theorems of a given theory ; we call these the validities of (). It is easy…
A classification of incompleteness statements
Henry Towsner, James Walsh
For which choices of does no sufficiently strong -sound and -definable extension theory prove its own -soundness? We give a complete answer, ther…