Henry Towsner

activity

20232025

most citedMetric fixed point theory and partial impredicativity

1 citations · 1 across the 4 of their papers we have counts for

collaborators

Showing 2025Show all

2 papers · 1 filter

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 $μ$ -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 $Π_{1}^{1} - C A_{0}$ which allows the "uncountable" notation $Ω$ to be interpreted "polymorphically" - that i…