Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computer-supported Analysis of Positive Properties, Ultrafilters and
  Modal Collapse in Variants of G\"odel's Ontological Argument   Three variants of Kurt G\"odel's ontological argument, proposed by Dana
Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously
assessed on the computer. In contrast to Scott's version of G\"odel's argument
the two variants contributed by Anderson and Fitting avoid modal collapse.
Although they appear quite different on a cursory reading they are in fact
closely related. This has been revealed in the computer-supported formal
analysis presented in this article. Key to our formal analysis is the
utilization of suitably adapted notions of (modal) ultrafilters, and a careful
distinction between extensions and intensions of positive properties.

33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc