Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Complexity and Expressivity of Uniform One-Dimensional Fragment with
  Equality   Uniform one-dimensional fragment UF1^= is a formalism obtained from
first-order logic by limiting quantification to applications of blocks of
existential (universal) quantifiers such that at most one variable remains free
in the quantified formula. The fragment is closed under Boolean operations, but
additional restrictions (called uniformity conditions) apply to combinations of
atomic formulas with two or more variables. The fragment can be seen as a
canonical generalization of two-variable logic, defined in order to be able to
deal with relations of arbitrary arities. The fragment was introduced recently,
and it was shown that the satisfiability problem of the equality-free fragment
of UF1^= is decidable. In this article we establish that the satisfiability and
finite satisfiability problems of UF1^= are NEXPTIME-complete. We also show
that the corresponding problems for the extension of UF1^= with counting
quantifiers are undecidable. In addition to decidability questions, we compare
the expressivities of UF1^= and two-variable logic with counting quantifiers
FOC^2. We show that while the logics are incomparable in general, UF1^= is
strictly contained in FOC^2 when attention is restricted to vocabularies with
the arity bound two.

14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom