Turing degrees of multidimensional SFTs (Q393140): Difference between revisions

@@ Property / cites work @@
+Q4910708
@@ Property / cites work: Q4910708 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Computable symbolic dynamics
@@ Property / cites work: Computable symbolic dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of countable subshifts in one dimension
+Normal rank
@@ Property / cites work @@
+Q4249723
@@ Property / cites work: Q4249723 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively closed sets and enumerations
@@ Property / cites work: Effectively closed sets and enumerations / rank @@
+Normal rank
@@ Property / cites work @@
+An aperiodic set of 13 Wang tiles
@@ Property / cites work: An aperiodic set of 13 Wang tiles / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Symbolic Dynamics
@@ Property / cites work: Effective Symbolic Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Tilings and quasiperiodicity.
@@ Property / cites work: Tilings and quasiperiodicity. / rank @@
+Normal rank
@@ Property / cites work @@
+Complex tilings
@@ Property / cites work: Complex tilings / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrecursive tilings of the plane. I
@@ Property / cites work: Nonrecursive tilings of the plane. I / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A small aperiodic set of Wang tiles
@@ Property / cites work: A small aperiodic set of Wang tiles / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Symbolic Dynamics and Coding
@@ Property / cites work: An Introduction to Symbolic Dynamics and Coding / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrecursive tilings of the plane. II
@@ Property / cites work: Nonrecursive tilings of the plane. II / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+Mass problems associated with effectively closed sets
+Normal rank
@@ Property / cites work @@
+Q5509685
@@ Property / cites work: Q5509685 / rank @@
+Normal rank