Pa-Beweisbare ∀∃-Formeln (Q3338236): Difference between revisions

@@ Property / cites work @@
+A survey of proof theory
@@ Property / cites work: A survey of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Nested recursion
@@ Property / cites work: Nested recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Functionals defined by transfinite recursion
@@ Property / cites work: Functionals defined by transfinite recursion / rank @@
+Normal rank