Emmanuel Rauzy - Multi-representation associated to the numbering of a subbasis and formal inclusion relations

lmcs:12675 - Logical Methods in Computer Science, September 24, 2025, Volume 21, Issue 3 - https://doi.org/10.46298/lmcs-21(3:29)2025
Multi-representation associated to the numbering of a subbasis and formal inclusion relationsArticle

Authors: 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 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.


    Volume: Volume 21, Issue 3
    Published on: September 24, 2025
    Accepted on: June 25, 2025
    Submitted on: December 11, 2023
    Keywords: Logic

    Consultation statistics

    This page has been seen 441 times.
    This article's PDF has been downloaded 62 times.