Ordinals connected with formal theories for transfinitely iterated inductive definitions (Q4175275): 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.2307/2272816
@@ Property / full work available at URL: https://doi.org/10.2307/2272816 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2039639438
@@ Property / OpenAlex ID: W2039639438 / rank @@
+Normal rank
@@ 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