Computing the recursive truth predicate on ordinal register machines (2006)

by P Koepke, R Siders
Venue:Logical Approaches to Computational Barriers, Computer Science Report Series