3 citations · 6 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.GR2021
Remarks and problems about algorithmic descriptions of groups
Emmanuel Rauzy
Motivated by a theorem of Groves and Wilton, we propose the study of the lattice of numberings of isomorphism classes of marked groups as a rigorous and comprehensive framework to…
math.GR2021
Computable analysis on the space of marked groups
Emmanuel Rauzy
We begin the systematic study of decision problems for finitely generated groups given by a solution to their word problem. We relate this to the study of computable analysis on th…