14 citations · 48 across the 31 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
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…