Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Dependent choice as a termination principle   We introduce a new formulation of the axiom of dependent choice that can be
viewed as an abstract termination principle, which generalises the recursive
path orderings used to establish termination of rewrite systems. We consider
several variants of our termination principle, and relate them to general
termination theorems in the literature.

4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg