Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Star Games and Hydras   The recursive path ordering is an established and crucial tool in term
rewriting to prove termination. We revisit its presentation by means of some
simple rules on trees (or corresponding terms) equipped with a 'star' as
control symbol, signifying a command to make that tree (or term) smaller in the
order being defined. This leads to star games that are very convenient for
proving termination of many rewriting tasks. For instance, using already the
simplest star game on finite unlabeled trees, we obtain a very direct proof of
termination of the famous Hydra battle, direct in the sense that there is not
the usual mention of ordinals. We also include an alternative road to setting
up the star games, using a proof method of Buchholz, adapted by van Oostrom,
resulting in a quantitative version of the star as control symbol. We conclude
with a number of questions and future research directions.

17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess