Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Reductions of Hintikka Sets for Higher-Order Logic   Steen's (2018) Hintikka set properties for Church's type theory based on
primitive equality are reduced to the Hintikka set properties of Brown (2007).
Using this reduction, a model existence theorem for Steen's properties is
derived.

22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin