Henry Towsner

collaborators

2 papers

math.LO2025

Proofs that Modify Proofs, 1/2

Henry Towsner

This paper is a prelude and elaboration on Proofs that Modify Proofs. Here we present an ordinal analysis of a fragment of the $I^¼$ -calculus around the strength of parameter-free $…

math.LO2025

Polymorphic Ordinal Notations

Henry Towsner

We give an alternative presentation of the ordinal notation at the strength of $I^_{1}^{1} - C A_{0}$ which allows the "uncountable" notation $I^c ◯$ to be interpreted "polymorphically" - that…