Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Predicativity, the Russell-Myhill Paradox, and Church's Intensional
  Logic   This paper sets out a predicative response to the Russell-Myhill paradox of
propositions within the framework of Church's intensional logic. A predicative
response places restrictions on the full comprehension schema, which asserts
that every formula determines a higher-order entity. In addition to motivating
the restriction on the comprehension schema from intuitions about the stability
of reference, this paper contains a consistency proof for the predicative
response to the Russell-Myhill paradox. The models used to establish this
consistency also model other axioms of Church's intensional logic that have
been criticized by Parsons and Klement: this, it turns out, is due to resources
which also permit an interpretation of a fragment of Gallin's intensional
logic. Finally, the relation between the predicative response to the
Russell-Myhill paradox of propositions and the Russell paradox of sets is
discussed, and it is shown that the predicative conception of set induced by
this predicative intensional logic allows one to respond to the Wehmeier
problem of many non-extensions.

7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom