Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Rank 3 Inhabitation of Intersection Types Revisited (Extended Version)   We revisit the undecidability result of rank 3 intersection type inhabitation
(Urzyczyn 2009) in pursuit of two goals. First, we strengthen the previous
result by showing that intersection type inhabitation is undecidable for types
of rank 3 and order 3, i.e. it is not necessary to introduce new functional
dependencies (new instructions) during proof search. Second, we pinpoint the
principles necessary to simulate Turing machine computation directly, whereas
previous constructions used a highly parallel and non-deterministic computation
model. Since our construction is more concise than existing approaches taking
no detours, we believe that it is valuable for a better understanding of the
expressiveness of intersection type inhabitation.

3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat