Independence in computable algebra

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…