Date: 2012-11-16 10:10:40Predicate 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 thAdd to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source Website File Size: 201,92 KBShare Document on Facebook
|