On quasivarieties of partial algebras. Their generation and their subquasivarieties. I

MaRDI QIDQ1076702zbMATH OpenFDO

Authors Hans-Jürgen Hoehnke

Publication date 1986

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138331

zbMATH Keywords

(dht-)categorycongruencesfilters of subidentitiesfully invariant strictly algebraic closure operatorspartial algebraspartial theory

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Partial algebras (08A55) Lattices of varieties (08B15) Quasivarieties (08C15) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Review text

It is formulated (using the language of (dht-)category to describe partial algebras) Theorem 10.2 (main result of this paper): There is an isomorphism between the complete lattice Con Ṯ of all congruences on a partial theory Ṯ and the complete lattice of all fully invariant strictly algebraic closure operators (on the systems of filters of subidentities of Ṯ).

Recommendations

• On quasivarieties of partial algebras. Their generation and their subquasivarieties. II
• scientific article; zbMATH DE number 3853166
• Varieties of partial algebras
• scientific article; zbMATH DE number 5556157
• Algebraic theory of quasivarieties of heterogeneous partial algebras

Cited in

(10)

• Algebraic theory of quasivarieties of heterogeneous partial algebras
• On quasivarieties of partial algebras. Their generation and their subquasivarieties. II
• Ihm-quasiorder and derived structures of universal algebras; 1-algebraic complete algebras
• scientific article; zbMATH DE number 3853166 (Why is no real title available?)
• Mal'cev-type theorems for partial congruences
• scientific article; zbMATH DE number 4031765 (Why is no real title available?)
• scientific article; zbMATH DE number 19685 (Why is no real title available?)
• scientific article; zbMATH DE number 1342151 (Why is no real title available?)
• scientific article; zbMATH DE number 1534355 (Why is no real title available?)
• Partially ordered monoids generated by operators \(H,S,P\), and \(H,S,P_f\) are isomorphic

This page was built for publication: On quasivarieties of partial algebras. Their generation and their subquasivarieties. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1076702)