Rice sequences of relations (Q2941599): Difference between revisions

@@ 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.1098/rsta.2011.0333
+Normal rank
@@ Property / OpenAlex ID @@
+W2165748083
@@ Property / OpenAlex ID: W2165748083 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting the back-and-forth types
@@ Property / cites work: Counting the back-and-forth types / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Effective model theory vs. recursive model theory
@@ Property / cites work: Effective model theory vs. recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643972
@@ Property / cites work: Q5643972 / rank @@
+Normal rank
@@ Property / cites work @@
+The jump operation for structure degrees
@@ Property / cites work: The jump operation for structure degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711186
@@ Property / cites work: Q5711186 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Reducibilities I
@@ Property / cites work: Arithmetical Reducibilities I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464662
@@ Property / cites work: Q3464662 / rank @@
+Normal rank
@@ Property / cites work @@
+A Jump Inversion Theorem for the Degree Spectra
@@ Property / cites work: A Jump Inversion Theorem for the Degree Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+A jump inversion theorem for the semilattices of \(\Sigma\)-degrees
+Normal rank
@@ Property / cites work @@
+Degrees of presentability of structures. I
@@ Property / cites work: Degrees of presentability of structures. I / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of presentability of structures. II
@@ Property / cites work: Degrees of presentability of structures. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5391560
@@ Property / cites work: Q5391560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5482032
@@ Property / cites work: Q5482032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5391553
@@ Property / cites work: Q5391553 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility on families
@@ Property / cites work: Reducibility on families / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664629
@@ Property / cites work: Q4664629 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Categorical Theories with Computable Models
+Normal rank
@@ Property / cites work @@
+Fixed points for the jump operator
@@ Property / cites work: Fixed points for the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+Low linear orderings
@@ Property / cites work: Low linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On the $n$-back-and-forth types of Boolean algebras
+Normal rank
@@ Property / cites work @@
+Every Low Boolean Algebra is Isomorphic to a Recursive One
+Normal rank
@@ Property / cites work @@
+Every Low 2 Boolean Algebra has a Recursive Copy
@@ Property / cites work: Every Low 2 Boolean Algebra has a Recursive Copy / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Boolean algebras
@@ Property / cites work: Computable Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Subspaces of computable vector spaces
@@ Property / cites work: Subspaces of computable vector spaces / rank @@
+Normal rank