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

@@ label / en / label / en @@
+Recursive Linear Orders with Incomplete Successivities
@@ Property / author @@
+Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2001778
@@ Property / full work available at URL: https://doi.org/10.2307/2001778 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4237606947
@@ Property / OpenAlex ID: W4237606947 / rank @@
+Normal rank
@@ Property / title @@
+Recursive Linear Orders with Incomplete Successivities (English)
+Normal rank
@@ 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