2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.LO2014★ 2 cited
Degree Spectra of Relations on a Cone
Matthew Harrison-Trainor
Let be a mathematical structure with an additional relation . We are interested in the degree spectrum of , either among computable copies of when…
math.LO2014
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…