Quasi-varieties of metric algebras (Q1344836): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Nikolai Weaver / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Aleksandr Ivanovich Budkin / rank
Normal rank
 
Property / author
 
Property / author: Nikolai Weaver / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Aleksandr Ivanovich Budkin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized varieties / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf01190761 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2021932528 / rank
 
Normal rank

Latest revision as of 08:22, 30 July 2024

scientific article
Language Label Description Also known as
English
Quasi-varieties of metric algebras
scientific article

    Statements

    Quasi-varieties of metric algebras (English)
    0 references
    22 February 1995
    0 references
    An \(M\)-algebra or a metric algebra is an abstract algebra endowed with a metric which assumes values in \([0, \infty]\). In a natural way the author introduces such notions as \(M\)-isomorphism, \(M\)-subalgebra, reduced \(M\)- product, and he defines operators \(I\), \(S\), \(P^ M_ R\) corresponding to the above operations. An \(M\)-quasivariety is a class of \(M\)-algebras closed under \(I\), \(S\), \(P_ R^ M\). The key notion of this paper is that of equicontinuous satisfaction (it is an analogue of uniform continuity in the usual sense). The author proves that a class of metric algebras is an \(M\)-quasivariety iff it is definable by finite implications and equicontinuously satisfies every finite implication that it satisfies. It is shown that an \(M\)- quasivariety obeys a subdirect representation theorem and admits completion of its members. Also the author finds \(K\)-irreducible members without infinite distances in the class \(K\) of real metric vector spaces.
    0 references
    quasivariety
    0 references
    irreducibility
    0 references
    metric algebra
    0 references
    equicontinuous satisfaction
    0 references
    subdirect representation theorem
    0 references
    real metric vector spaces
    0 references
    0 references

    Identifiers