Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: B\"uchi automata recognizing sets of reals definable in first-order
  logic with addition and order   This work considers weak deterministic B\"uchi automata reading encodings of
non-negative reals in a fixed base. A Real Number Automaton is an automaton
which recognizes all encoding of elements of a set of reals. It is explained
how to decide in linear time whether a set of reals recognized by a given
minimal weak deterministic RNA is ${FO}[\mathbb R;+,<,1]$-definable.
Furthermore, it is explained how to compute in quasi-quadratic (respectively,
quasi-linear) time an existential (respectively, existential-universal)
${FO}[\mathbb R;+,<,1]$-formula which defines the set of reals recognized by
the automaton. It is also shown that techniques given by Muchnik and by Honkala
for automata over vector of natural numbers also works on vector of real
numbers. It implies that some problems such as deciding whether a set of tuples
of reals $R\subseteq\mathbb R^{d}$ is a subsemigroup of $(\mathbb R^{d},+)$ or
is ${FO}[\mathbb R;+,<,1]$-definable is decidable.

14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ