Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Undecidabiliity for the additive AIA fragment of the theory of normed
  spaces   An AIA formula is one of the form 'A implies B' where A and B are purely
universal. Up to a simple reduction AIA formula are both EA and AE. In an
earlier paper Solovay, Harrison and I proved the undecidability of validity for
the AIA fragment of a two-sorted first-order language for normed vector spaces.
In this note we find that validity remains undecidable for AIA sentences in the
additive sublanguage, i.e., when multiplication is disallowed.

16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
36
The categories of this paper are: cmp-lg
1
The categories of this paper are: cs
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga