Ordinals connected with formal theories for transfinitely iterated inductive definitions (Q4175275): Difference between revisions

@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency proofs of subsystems of classical analysis
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein Bezeichnungssystem für Ordinalzahlen
@@ Property / cites work: Ein Bezeichnungssystem für Ordinalzahlen / rank @@
+Normal rank
@@ Property / cites work @@
+On provably recursive functions and ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+Provable wellorderings of formal theories for transfinitely iterated inductive definitions
+Normal rank