95 citations · 154 across the 35 of their papers we have counts for
6 papers · 1 filter
Relatively exchangeable structures
Harry Crane, Henry Towsner
We study random relational structures that are \emph{relatively exchangeable}---that is, whose distributions are invariant under the automorphisms of a reference structure $\mathfr…
Epsilon Substitution for via Cut-Elimination
Henry Towsner
The -substitution method is a technique for giving consistency proofs for theories of arithmetic. We use this technique to give a proof of the consistency of the impredicative t…
Computable Ramsey's Theorem for Pairs Needs Infinitely Many Pi-0-2 Sets
Gregory Igusa, Henry Towsner
In \cite{J}, Theorem 4.2, Jockusch proves that for any computable k-coloring of pairs of integers, there is an infinite homogeneous set. The proof uses a countable collecti…
A Worked Example of the Functional Interpretation
Henry Towsner
The functional interpretation is a systematic, syntactic method for transforming certain non-constructive proofs into constructive proofs with explicit bounds. We illustrate the in…
An Inverse Ackermannian Lower Bound on the Local Unconditionality Constant of the James Space
Henry Towsner
The proof that the James space is not locally unconditional appears to be non-constructive, since it makes use of an ultraproduct construction. Using proof mining, we extract a con…
Towards an Effective Theory of Absolutely Continuous Measures
Henry Towsner
We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence functions. A crucial tool is a one-dimensional version of Sze…