2 papers
math.LO2026
sp-Homogeneous Linear Orderings
Wesley Calvert, Douglas Cenzer, David Gonzalez +2
We study linear orderings expanded by functions for successor and predecessor. The successor and predecessor on linear orderings capture the relatively intrinsically computably enu…
math.LO2025
Computability of Separation Axioms in Countable Second Countable Spaces
Andrew DeLapo, David Gonzalez
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on t…