Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Remark on the hypothetical judgment   What is the proper explanation of intuitionistic hypothetical judgment, and
thence propositional implication? The answer is unclear from the writings of
Brouwer and Heyting, who in their lifetimes propounded multiple (sometimes
conflicting) explanations of the hypothetical judgment. To my mind, the
determination of an acceptable explanation must take into account its adequacy
for the expression of the bar theorem and, more generally, the development of
an open-ended framework for transcendental arguments in mathematics.

15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn