On Minimal and Almost-Minimal Systems of Notations (Q5622174): Difference between revisions

@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies in Recursive Function Theory
@@ Property / cites work: Hierarchies in Recursive Function Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / 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 @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Versions of Ordinal Number Classes
@@ Property / cites work: Constructive Versions of Ordinal Number Classes / rank @@
+Normal rank
@@ Property / cites work @@
+On Hierarchies and Systems of Notations
@@ Property / cites work: On Hierarchies and Systems of Notations / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functions Over Well Ordered Partial Orderings
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal Numbers and Predicative Set Theory
@@ Property / cites work: Ordinal Numbers and Predicative Set Theory / rank @@
+Normal rank