Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Cyclic and Inductive Calculi are equivalent   Brotherston and Simpson [citation] have formalized and investigated cyclic
reasoning, reaching the important conclusion that it is at least as powerful as
inductive reasoning (specifically, they showed that each inductive proof can be
translated into a cyclic proof). We add to their investigation by proving the
converse of this result, namely that each inductive proof can be translated
into an inductive one. This, in effect, establishes the equivalence between
first order cyclic and inductive calculi.

30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th