3 papers
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…
math.CO2022
The lexicographically least square-free word with a given prefix
Siddharth Berera, Andrés Gómez-Colunga, Joey Lakerdas-Gayle +6
The lexicographically least square-free infinite word on the alphabet of non-negative integers with a given prefix is denoted . When is the empty word, this word was…