2 citations · 5 across the 15 of their papers we have counts for
1 paper · 1 filter
Barbara Csima, Matthew Harrison-Trainor
We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity,…