The following pages link to Henry Towsner (Q424578):
Displaying 39 items.
- A simple proof and some difficult examples for Hindman's theorem (Q424579) (← links)
- Computable Ramsey's theorem for pairs needs infinitely many \(\Pi ^0_2\) sets (Q512143) (← links)
- Exact bounds on epsilon processes (Q535160) (← links)
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- Explicit polynomial bounds on prime ideals in polynomial rings over fields (Q785750) (← links)
- Dividing and weak quasi-dimensions in arbitrary theories (Q892144) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Explicit sentences distinguishing McDuff's \(\mathrm{II}_1\) factors (Q1617910) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Relative exchangeability with equivalence relations (Q1661674) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Transfinite approximation of Hindman's theorem (Q1760370) (← links)
- A realizability interpretation for classical analysis (Q1762729) (← links)
- Epsilon substitution for transfinite induction (Q1778059) (← links)
- An approximate logic for measures (Q2017144) (← links)
- A combinatorial proof of the dense Hindman's theorem (Q2275370) (← links)
- Nonstandard convergence gives bounds on jumps (Q2329071) (← links)
- Randomness and Non-ergodic Systems (Q2801859) (← links)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- <i>σ</i>-algebras for quasirandom hypergraphs (Q2951886) (← links)
- Separating principles below (Q2958212) (← links)
- Priority Arguments and Epsilon Substitutions (Q3001108) (← links)
- Metastability in the Furstenberg–Zimmer tower (Q3066718) (← links)
- Hindman's theorem: an ultrafilter argument in second order arithmetic (Q3083144) (← links)
- A correspondence principle for the Gowers norms (Q3145971) (← links)
- Convergence of diagonal ergodic averages (Q3399061) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- RELATIVELY EXCHANGEABLE STRUCTURES (Q4579800) (← links)
- A short nonalgorithmic proof of the containers theorem for hypergraphs (Q4621383) (← links)
- An Inverse Ackermannian Lower Bound on the Local Unconditionality Constant of the James Space (Q4623055) (← links)
- An analytic approach to sparse hypergraphs: hypergraph removal (Q4645028) (← links)
- Towards an Effective Theory of Absolutely Continuous Measures (Q5213555) (← links)
- Infinitary Methods in Finite Model Theory (Q5213574) (← links)
- On maximum conservative extensions (Q5261154) (← links)
- Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015. (Q5283451) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS (Q5401600) (← links)
- Book review of: J. von Plato, Elements of logical reasoning (Q5899564) (← links)
