Provable wellorderings of formal theories for transfinitely iterated inductive definitions (Q4198748): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4239786980
@@ Property / OpenAlex ID: W4239786980 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+A simplification of the Bachmann method for generating large countable ordinals
+Normal rank
@@ Property / cites work @@
+Ein konstruktives system von Ordinalzahlen
@@ Property / cites work: Ein konstruktives system von Ordinalzahlen / 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 @@
+Ein Bezeichnungssystem für Ordinalzahlen
@@ Property / cites work: Ein Bezeichnungssystem für Ordinalzahlen / rank @@
+Normal rank
@@ Property / cites work @@
+On ordinal diagrams
@@ Property / cites work: On ordinal diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+A system of abstract constructive ordinals
@@ Property / cites work: A system of abstract constructive ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
+Normal rank