General metrics and contracting operations

DOI10.1016/0012-365X(92)00527-XzbMath0813.06010MaRDI QIDQ1331969

Maurice Pouzet, Ivo G. Rosenberg

Publication date: 6 June 1995

Published in: Discrete Mathematics (Search for Journal in Brave)

zbMATH Keywords

Heyting algebra; generalized metric space; ultrametric; hyperconvexity; relational systems; \(m\)-ary contracting operations; clones of contracting maps; congruence affine algebra; feedback-free compositions; structural theory of automata; value monoid

Mathematics Subject Classification ID

54E35: Metric spaces, metrizability

68Q70: Algebraic theory of languages and automata

06D20: Heyting algebras (lattice-theoretic aspects)

54E40: Special maps on metric spaces

08A40: Operations and polynomials in algebraic structures, primal algebras

08A02: Relational systems, laws of composition

Related Items

Injective envelope of graphs and transition systems, Injective envelope and parallel decomposition of a transition system

Cites Work

• Local completeness. I
• Compatible function extension property
• An application of the Helly property to the partially ordered sets
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Decomposability of modules into a direct sum of ideals
• The subalgebra systems of direct powers
• Semi-primal algebras; characterization and normal-decomposition
• Semi-categorical algebras. I: Semi-primal algebras
• Boolean geometry. I
• Embeddings and absolute retracts of relational system
• Sequential Functions
• Representations of Lattices by Sets
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item