Weak varieties of partial algebras (Q1112080): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3666908 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebras with a Scheme of Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finitary spectral algebraic theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A homomorphism theorem for partial algebras / rank | |||
Normal rank |
Latest revision as of 11:03, 19 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak varieties of partial algebras |
scientific article |
Statements
Weak varieties of partial algebras (English)
0 references
1988
0 references
The notion of weak variety of partial algebras, being a generalization of ECE-variety in the sense of P. Burmeister and \(H_ cS_ sP\)-variety in the sense of H. Andreka and I. Nemeti, is introduced and intensively studied. Namely, a nonempty class of partial algebras is called weak variety if it is closed under strong epimorphisms e \((f_ A(\underline x)\) is defined iff \(f_ B(e\underline x)\) is defined and \(ef_ A(\underline x)=f_ B(e\underline x))\) and also closed under strong monosources. A family \(\{f^ k: {\mathfrak A}\to {\mathfrak B}^ k\), \(k\in K\}\) of homomorphisms is called monosource iff it contains at least one strong homomorphism and for each pair of homomorphisms g,h: \({\mathfrak C}\to {\mathfrak A}\) the equality of \(f^ kg=f^ kh\) implies the equality \(g=h\). A characterization of weak varieties in the language of logic formulas is given. The problems under which conditions the variety in the above sense is closed under products or ultraproducts are studied.
0 references
weak variety of partial algebras
0 references
strong monosources
0 references