1 citations · 1 across the 4 of their papers we have counts for
4 papers
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 -calculus around the strength of parameter-free $Π…
Polymorphic Ordinal Notations
Henry Towsner
We give an alternative presentation of the ordinal notation at the strength of which allows the "uncountable" notation to be interpreted "polymorphically" - that i…
Proofs that Modify Proofs
Henry Towsner
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. W…
Metric fixed point theory and partial impredicativity
David Fernández-Duque, Paul Shafer, Henry Towsner +1
We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in . Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel fun…