Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computability of finite quotients of finitely generated groups   We study systematically groups whose marked finite quotients form a recursive
set. We give several definitions, and prove basic properties of this class of
groups, and in particular emphasize the link between the growth of the depth
function and solvability of the word problem. We give examples of infinitely
presented groups whose finite quotients can be effectively enumerated. Finally,
our main result is that a residually finite group can be even not recursively
presented and still have computable finite quotients, and that, on the other
hand, it can have solvable word problem while still not having computable
finite quotients.

30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
1
The categories of this paper are: cs
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th