Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Weakly uniform computable categoricity and function composition
Joey Lakerdas-Gayle
We introduce the definition of a weakly -uniformly -computably categorical structure, relativizing a definition of Kudinov (1996), and show that this relativized notion is cl…
math.LO2025
Isomorphism Spectra and Computably Composite Structures
Joey Lakerdas-Gayle
Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree is the degree of categoricity of a computable structure and is n…