Back to Results
First PageMeta Content
Predicate logic / Computability theory / Recursion / Logic / Theory of computation / Primitive recursive arithmetic / Primitive recursive function / Quantifier / First-order logic / Free variables and bound variables / Herbrandization


A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th
Add to Reading List

Document Date: 2012-11-16 10:10:40


Open Document

File Size: 201,92 KB

Share Result on Facebook