1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…