Autonomous Ordinals and the Limits of Predicativity

Proof Theory ◽  
2008 ◽  
pp. 131-156
Sign in / Sign up

Export Citation Format

Share Document