Degree spectra of the successor relation of computable linear orderings (Q1005920): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-008-0110-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2019414989
@@ Property / OpenAlex ID: W2019414989 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Every recursive Boolean algebra is isomorphic to one with incomplete atoms
+Normal rank
@@ Property / cites work @@
+Q4451642
@@ Property / cites work: Q4451642 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Linear Orders with Incomplete Successivities
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Some effects of Ash-Nerode and other decidability conditions on degree spectra
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+Recursively Categorical Linear Orderings
@@ Property / cites work: Recursively Categorical Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank