Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pseudo-finiteness of arbitrary graphs of bounded shrub-depth   We consider classes of arbitrary (finite or infinite) graphs of bounded
shrub-depth, specifically the classes $\mathrm{TM}_r(d)$ of arbitrary graphs
that have tree models of height $d$ and $r$ labels. We show that the graphs of
$\mathrm{TM}_r(d)$ are $\mathrm{MSO}$-pseudo-finite relative to the class
$\mathrm{TM}^{\text{f}}_r(d)$ of finite graphs of $\mathrm{TM}_r(d)$; that is,
that every $\mathrm{MSO}$ sentence true in a graph of $\mathrm{TM}_r(d)$ is
also true in a graph of $\mathrm{TM}^{\text{f}}_r(d)$. We also show that
$\mathrm{TM}_r(d)$ is closed under ultraproducts and ultraroots. These results
have two consequences. The first is that the index of the
$\mathrm{MSO}[m]$-equivalence relation on graphs of $\mathrm{TM}_r(d)$ is
bounded by a $(d+1)$-fold exponential in $m$. The second is that
$\mathrm{TM}_r(d)$ is exactly the class of all graphs that are
$\mathrm{MSO}$-pseudo-finite relative to $\mathrm{TM}^{\text{f}}_r(d)$.

5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th