1 paper · 2 filters
Matthew Harrison-Trainor, Alexander Melnikov, Antonio Montalbán
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply…