On Hierarchies and Systems of Notations (Q5646888): Difference between revisions

@@ Property / cites work @@
+The constructive second number class
@@ Property / cites work: The constructive second number class / rank @@
+Normal rank
@@ Property / cites work @@
+Q5765116
@@ Property / cites work: Q5765116 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Predicates and Function Quantifiers
@@ Property / cites work: Arithmetical Predicates and Function Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Versions of Ordinal Number Classes
@@ Property / cites work: Constructive Versions of Ordinal Number Classes / rank @@
+Normal rank