7 citations · 19 across the 14 of their papers we have counts for
1 paper · 2 filters
André Nies, Andrea Sorbi
(1) There is a finitely presented group with a word problem which is a uniformly effectively inseparable equivalence relation. (2) There is a finitely generated group of computable…