Infinitary Noetherian Constructions I.  Infinite Words

Jean Goubault-Larrecq

doi:10.4064/cm8077-4-2021

Article Dans Une Revue Colloquium Mathematicum Année : 2022

Infinitary Noetherian Constructions I. Infinite Words

(1)

Jean Goubault-Larrecq

Fonction : Auteur
PersonId : 19784
IdHAL : jean-goubault-larrecq
ORCID : 0000-0001-5879-3304
IdRef : 050235516

Laboratoire Méthodes Formelles

Résumé

We define and study Noetherian topologies for spaces of infinite sets and for spaces of infinite words. In each case, we also obtain S-representations, namely, computable presentations of the sobrifications of those spaces.

Mots clés

well-quasi-orders Noetherian spaces infinite words

Domaines

Topologie générale [math.GN] Logique en informatique [cs.LO]

Fichier principal

doiA-cm8077-4-2021.pdf (536.35 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03414552

Soumis le : vendredi 17 décembre 2021-16:12:28

Dernière modification le : jeudi 18 avril 2024-14:56:24

Dates et versions

hal-03414552 , version 1 (04-11-2021)

hal-03414552 , version 2 (17-12-2021)

Identifiants

HAL Id : hal-03414552 , version 2
DOI : 10.4064/cm8077-4-2021

Citer

Jean Goubault-Larrecq. Infinitary Noetherian Constructions I. Infinite Words. Colloquium Mathematicum, 2022, 168, pp.257-286. ⟨10.4064/cm8077-4-2021⟩. ⟨hal-03414552v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

110 Consultations

98 Téléchargements