Minimal quasivarieties of endographs (Q1316876): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
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