Free monoids and generalized metric spaces

DOI10.1016/j.ejc.2018.02.008OpenAlexW2963151124MaRDI QIDQ2311378

Maurice Pouzet, Mustapha Kabil, Ivo G. Rosenberg

Publication date: 10 July 2019

Published in: European Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1705.09750

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Free semigroups, generators and relations, word problems (20M05) Metric spaces, metrizability (54E35) Heyting algebras (lattice-theoretic aspects) (06D20) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items

Fixed point results for \(\mathcal{C}\)-contractive mappings in generalized metric spaces with a graph ⋮ The continuous weak order ⋮ Skew metrics valued in Sugihara semigroups ⋮ Injective envelopes of transition systems and Ferrers languages ⋮ Unnamed Item ⋮ A fixed point theorem for commuting families of relational homomorphisms. Applications to metric spaces, ordered sets and oriented graphs ⋮ A syntactic approach to the MacNeille completion of \(\Lambda^\ast\), the free monoid over an ordered alphabet \(\Lambda\)

Cites Work

• Extension of uniformly continuous transformations and hyperconvex metric spaces
• An application of the Helly property to the partially ordered sets
• Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces
• A computation of the eighth Dedekind number
• General metrics and contracting operations
• Injective envelope of graphs and transition systems
• Retractions, coretractions, and injective envelope of a transition algebra
• Injective envelope and parallel decomposition of a transition system
• Completeness in generalized ultrametric spaces
• Six theorems about injective metric spaces
• Boolean geometry. I
• Ultrametrically Injective Spaces
• Metric spaces, generalized logic, and closed categories
• Ordering by Divisibility in Abstract Algebras
• Encyclopedia of Distances
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item