An analytic approach to sparse hypergraphs: hypergraph removal von Towsner, Henry

Volltext

A removal lemma for ordered hypergraphs von Towsner, Henry

Volltext

A short nonalgorithmic proof of the containers theorem for hypergraphs von BERNSHTEYN, ANTON, DELCOURT, MICHELLE, TOWSNER, HENRY, TSERUNYAN, ANUSH

Volltext

What do ultraproducts remember about the original structures? von Towsner, Henry

Volltext

Partial impredicativity in reverse mathematics von Towsner, Henry

Volltext

σ‐algebras for quasirandom hypergraphs von Towsner, Henry

Volltext

Convergence of diagonal ergodic averages von TOWSNER, HENRY

Volltext

2021 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: University of Notre Dame, South Bend IN, USA, June 22–25, 2021 von Towsner, Henry

Volltext

Erdős–Moser and IΣ2 von Towsner, Henry, Yokoyama, Keita

Volltext

Proof mining and effective bounds in differential polynomial rings von Simmons, William, Towsner, Henry

Volltext

Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination von Towsner, Henry

Volltext

Epsilon substitution for ID1 via cut-elimination von Towsner, Henry

Volltext

[sigma]-algebras for quasirandom hypergraphs von Towsner, Henry

Volltext

RELATIVELY EXCHANGEABLE STRUCTURES von CRANE, HARRY, TOWSNER, HENRY

Volltext

Functional interpretation and inductive definitions von Avigad, Jeremy, Towsner, Henry

Volltext

Epsilon substitution for ID 1 via cut-elimination von Towsner, Henry

Volltext

Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015 von Towsner, Henry

Volltext

Limits of sequences of Markov chains von Towsner, Henry

Volltext

Relative exchangeability with equivalence relations von Crane, Harry, Towsner, Henry

Volltext

Elements of Logical Reasoning by Jan von Plato: CAMBRIDGE: CAMBRIDGE UNIVERSITY PRESS, 2013, 271 PP., US $29.99, ISBN: 978-1-107-61077-4 von Towsner, Henry

Volltext