1 citations · 1 across the 9 of their papers we have counts for
9 papers
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…
Higher-arity PAC learning, VC dimension and packing lemma
Artem Chernikov, Henry Towsner
The aim of this note is to overview some of our work in Chernikov, Towsner'20 (arXiv:2010.00726) developing higher arity VC theory (VC dimension), including a generalization of…
Averages of hypergraphs and higher arity stability
Artem Chernikov, Henry Towsner
We show that -ary functions giving the measure of the intersection of multi-parametric families of sets in probability spaces, e.g. $(x,y,z) \in X \times Y \times Z \mapsto μ(P_…
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…
Intersecting sets in probability spaces and Shelah's classification
Artem Chernikov, Henry Towsner
For and , given a sufficiently long sequence of events in a probability space all of measure at least , some of them will have…
On the equivalence of quasirandomness and exchangeable representations independent from lower-order variables
Leonardo N. Coregliano, Henry P. Towsner
It is often convenient to represent a process for randomly generating a graph as a graphon. (More precisely, these give \emph{vertex exchangeable} processes -- those processes in w…
Perfect stable regularity lemma and slice-wise stable hypergraphs
Artem Chernikov, Henry Towsner
We investigate various forms of (model-theoretic) stability for hypergraphs and their corresponding strengthenings of the hypergraph regularity lemma with respect to partitions of…