Recursive Linear Orders with Incomplete Successivities (Q3977226): Difference between revisions

@@ Property / cites work @@
+T-Degrees, Jump Classes, and Strong Reducibilities
+Normal rank
@@ Property / cites work @@
+On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The strong homogeneity conjecture
@@ Property / cites work: The strong homogeneity conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility and Completeness for Sets of Integers
+Normal rank
@@ Property / cites work @@
+Some properties of the constructivization of Boolean algebras
+Normal rank
@@ Property / cites work @@
+Degrees of orderings not isomorphic to recursive linear orderings
+Normal rank
@@ Property / cites work @@
+Q3337461
@@ Property / cites work: Q3337461 / rank @@
+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 @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite condensations of recursive linear orders
@@ Property / cites work: Finite condensations of recursive linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
+Normal rank