Efficient linear orders (Q1231485): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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 @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Theorie der konstruktiven Wohlordnungen
@@ Property / cites work: Zur Theorie der konstruktiven Wohlordnungen / rank @@
+Normal rank