Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Parametrization by Horizontal Constraints in the Study of Algorithmic
  Properties of $\mathbb{Z}^2$-Subshift of Finite Type   The non-emptiness, called the Domino Problem, and the characterization of the
possible entropies of $\mathbb{Z}^2$-subshifts of finite type are standard
problems of symbolic dynamics. In this article we study these questions with
horizontal constraints fixed beforehand as a parameter. We determine for which
horizontal constraints the Domino Problem is undecidable and when all
right-recursively enumerable numbers can be obtained as entropy, with two
approaches: either the additional local rules added to the horizontal
constraints can be of any shape, or they can only be vertical rules.

25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
1
The categories of this paper are: cs
37
The categories of this paper are: supr-con