Emmanuel Rauzy

dblp:409/6545 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2025
0009-0005-0395-3311ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2025 Effective Second Countability in Computable Analysis
Vasco Brattka, Emmanuel Rauzy
CiE2
2025 Multi-representation associated to the numbering of a subbasis and formal inclusion relations
abstract
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 different classically considered representations as subcases, including representations considered by Grubba, Weihrauch and Schröder. We show that the use of an appropriate strong inclusion relation guarantees that the representation associated to a computable metric space seen as a topological space always coincides with the Cauchy representation. We also show how the use of a formal inclusion relation guarantees that when defining multi-representations on a set and on one of its subsets, the obtained multi-representations will be compatible, i.e. inclusion will be a computable map. The proposed definitions are also more robust under change of equivalent bases.
Emmanuel Rauzy
Log. Methods Comput. Sci.1