Minimal quasivarieties of endographs (Q1316876): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1685376 |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
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 |
Latest revision as of 03:54, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal quasivarieties of endographs |
scientific article |
Statements
Minimal quasivarieties of endographs (English)
0 references
12 April 1994
0 references
Let \(\langle A; p,f\rangle\) be an algebraic system containing a binary predicate symbol \(p\) and a unary function symbol \(f\). An algebraic system \(\langle A; p,f\rangle\) is said to be an endograph if it satisfies the quasi-identity \((\forall x)(\forall y)(p(x,y)\to p(f(x),f(y)))\). The author proves that a set of minimal quasivarieties of endographs which has no independent basis of quasi-identities has the cardinality of the continuum.
0 references
endograph
0 references
minimal quasivarieties
0 references
independent basis
0 references
quasi-identities
0 references
cardinality
0 references
continuum
0 references