Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Discrete Transfinite Computation   We describe various computational models based initially, but not
exclusively, on that of the Turing machine, that are generalized to allow for
transfinitely many computational steps. Variants of such machines are
considered that have longer tapes than the standard model, or that work on
ordinals rather than numbers. We outline the connections between such models
and the older theories of recursion in higher types, generalized recursion
theory, and recursion on ordinals such as $\alpha$-recursion. We conclude that,
in particular, polynomial time computation on $\omega$-strings is well modelled
by several convergent conceptions.

14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th