Showing math.LOShow all
2 papers · 1 filter
math.LO2021
Structural Highness Notions
Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky
We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along a…
math.LO2019
Taking the path computably travelled
Johanna N. Y. Franklin, Dan Turetsky
We define a real to be low for paths in Baire space (or Cantor space) if every class with an -computable element has a computable element. We prove that lowness for…