A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω (Q2921035): Difference between revisions

@@ Property / cites work @@
+Injecting uniformities into Peano arithmetic
@@ Property / cites work: Injecting uniformities into Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying functional interpretations
@@ Property / cites work: Unifying functional interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
+Normal rank
@@ Property / cites work @@
+Harrington's conservation theorem redone
@@ Property / cites work: Harrington's conservation theorem redone / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Bounded functional interpretation
@@ Property / cites work: Bounded functional interpretation / rank @@
+Normal rank