Back to Results
First PageMeta Content
Complexity classes / Computability theory / Effective descriptive set theory / Arithmetical hierarchy / Hierarchy / FO


On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSy
Add to Reading List

Document Date: 2012-11-16 09:32:59


Open Document

File Size: 336,82 KB

Share Result on Facebook