Extensions of congruence relations on infinitary partial algebras. A problem of G. Grätzer
G. Wenzel (1970)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “On the extending of models (III)”
Extensions of congruence relations on infinitary partial algebras. A problem of G. Grätzer
On extending congruences from partial algebras
Isidore Fleischer (1975)
Fundamenta Mathematicae
Similarity:
Extending a partial equivalence to a congruence and relative embeddings in universal algebras
Isidore Fleischer (1980)
Fundamenta Mathematicae
Similarity:
On congruence distributivity of ordered algebras with constants
Krisztina Balog, Benedek Skublics (2011)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We define the order-congruence distributivity at 0 and order- congruence n-distributivity at 0 of ordered algebras with a nullary operation 0. These notions are generalizations of congruence distributivity and congruence n-distributivity. We prove that a class of ordered algebras with a nullary operation 0 closed under taking subalgebras and direct products is order-congruence distributive at 0 iff it is order-congruence n-distributive at 0. We also characterize such classes by a Mal'tsev...
On the determining of the form of congruences in abstract algebras with equationally definable constant elements
J. Słomiński (1960)
Fundamenta Mathematicae
Similarity:
On generalized algebras
Sioson, F.M. (1966)
Portugaliae mathematica
Similarity:
Congruence pairs for algebras abstracting Kleene and Stone algebras
Rodney Beazer (1985)
Czechoslovak Mathematical Journal
Similarity:
Implication algebras
Ivan Chajda (2006)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence...