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 | |||
Property / reviewed by | |||
Property / reviewed by: Aleksandr Ivanovich Budkin / 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