ϱ-inaccessible ordinals, collapsing functions and a recursive notation system (Q3335775): Difference between revisions

@@ Property / cites work @@
+Q5800868
@@ Property / cites work: Q5800868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109654
@@ Property / cites work: Q4109654 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to large cardinals
@@ Property / cites work: Set theory. An introduction to large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606584
@@ Property / cites work: Q5606584 / rank @@
+Normal rank
@@ Property / cites work @@
+Über zwei Bezeichnungssysteme für Ordinalzahlen
@@ Property / cites work: Über zwei Bezeichnungssysteme für Ordinalzahlen / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank