Recursively Categorical Linear Orderings (Q3955343): Difference between revisions

@@ Property / cites work @@
+Q3919698
@@ Property / cites work: Q3919698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946148
@@ Property / cites work: Q3946148 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Recursive Boolean algebras with recursive atoms
@@ Property / cites work: Recursive Boolean algebras with recursive atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949039
@@ Property / cites work: Q3949039 / rank @@
+Normal rank