Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Multi-representation associated to the numbering of a subbasis and formal inclusion relations
Emmanuel Rauzy
We revisit Dieter Spreen's notion of a representation associated to a numbered basis equipped with a strong inclusion relation. We show that by relaxing his requirements, we obtain…
math.LO2024
A generalization of Markov's approach to the continuity problem for Type 1 computable functions
Emmanuel Rauzy
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topologi…