Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Incompleteness and Jump Hierarchies   This paper is an investigation of the relationship between G\"odel's second
incompleteness theorem and the well-foundedness of jump hierarchies. It follows
from a classic theorem of Spector's that the relation $\{(A,B) \in \mathbb{R}^2
: \mathcal{O}^A \leq_H B\}$ is well-founded. We provide an alternative proof of
this fact that uses G\"odel's second incompleteness theorem instead of the
theory of admissible ordinals. We then derive a semantic version of the second
incompleteness theorem, originally due to Mummert and Simpson, from this
result. Finally, we turn to the calculation of the ranks of reals in this
well-founded relation. We prove that, for any $A\in\mathbb{R}$, if the rank of
$A$ is $\alpha$, then $\omega_1^A$ is the $(1 + \alpha)^{\text{th}}$ admissible
ordinal. It follows, assuming suitable large cardinal hypotheses, that, on a
cone, the rank of $X$ is $\omega_1^X$.

20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ