Complexity of Gödel’s T in λ-Formulation (Q3637208): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02273-9_28
+Normal rank
@@ Property / OpenAlex ID @@
+W99998675
@@ Property / OpenAlex ID: W99998675 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Gödel's T Via Expanded Head Reduction Trees
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+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 @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study
+Normal rank