Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the formalist account of an arbitrary first-order theory   This paper examines the metatheory of the formalist account of an arbitrary
first-order theory. The paper considers whether the metatheory can be expressed
(using Tarskian semantics) in a model of a first-order theory that, roughly
speaking, contains a proper axiom (schema) corresponding to a set-theoretic
axiom (schema) of subsets. The hypothesis is reduced to absurdity.

3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio