Amalgamation and interpolation in abstract algebraic logic
J Czelakowski, D Pigozzi - Models, algebras, and proofs, 2021 - taylorfrancis.com
The correlation between interpolation theorems of logic and certain properties of the class of
models related to the amalgamation property is well known. In classical sentential and first …
models related to the amalgamation property is well known. In classical sentential and first …
Strongly minimal Steiner systems II: coordinatization and quasigroups
JT Baldwin - Algebra universalis, 2023 - Springer
Each strongly minimal Steiner k-system (M, R)(where is R is a ternary collinearity relation)
can be 'coordinatized'in the sense of (Ganter–Werner 1975) by a quasigroup if k is a prime …
can be 'coordinatized'in the sense of (Ganter–Werner 1975) by a quasigroup if k is a prime …
On the relationship between AP, RS and CEP
KA Kearnes - Proceedings of the American Mathematical Society, 1989 - ams.org
We prove that in a residually small congruence modular variety the amalgamation property
implies the commutator condition ${\text {R}} $. A consequence of this is that, for all …
implies the commutator condition ${\text {R}} $. A consequence of this is that, for all …
Priestley duality for quasi-Stone algebras
H Gaitán - Studia Logica, 2000 - Springer
Quasi-Stone Algebras Page 1 Hemmwoo GAITAN Priestley Duality for Quasi-Stone Algebras
Abstract. In this paper we describe the Priestley space of a quasi-Stone algebra and use it to …
Abstract. In this paper we describe the Priestley space of a quasi-Stone algebra and use it to …
Relation categories and coproduct congruence categories in universal algebra
G Hutchinson - algebra universalis, 1994 - Springer
It is known that a category V-Rel of admissible relations can be formed for any variety of
algebras V, such that morphisms A→ B correspond to subalgebras of A x B. We adapt the …
algebras V, such that morphisms A→ B correspond to subalgebras of A x B. We adapt the …
Algebraically closed algebras in certain small congruence distributive varieties
P Ouwehand - Algebra universalis, 2009 - Springer
In a finitely generated congruence distributive variety satisfying a weak congruence
extension property, the algebraically closed algebras are precisely updirected unions of …
extension property, the algebraically closed algebras are precisely updirected unions of …
Absolute retracts and essential extensions in congruence modular varieties
P Ouwehand - Algebra universalis, 2013 - Springer
This paper studies absolute retracts in congruence modular varieties of universal algebras. It
is shown that every absolute retract with finite dimensional congruence lattice is a product of …
is shown that every absolute retract with finite dimensional congruence lattice is a product of …
Finite algebras that generate an injectively complete modular variety
KA Kearnes - Bulletin of the Australian Mathematical Society, 1991 - cambridge.org
We extend Kollár's result on finitely generated, injectively complete congruence distributive
varieties to the congruence modular setting. By doing so we show that, given any finite …
varieties to the congruence modular setting. By doing so we show that, given any finite …
[PDF][PDF] Some Aspects of Quasi-Stone Algebras Part I
SK Fischer - 2009 - im.saske.sk
Some Aspects of Quasi-Stone Algebras Part I Page 1 Some Aspects of Quasi-Stone
Algebras Part I Sara-Kaja Fischer University of Bern September 7, 2009 Sara-Kaja Fischer …
Algebras Part I Sara-Kaja Fischer University of Bern September 7, 2009 Sara-Kaja Fischer …
[PDF][PDF] Commutator Theory for Congruence Modular Varieties Ralph Freese and Ralph McKenzie
R Freese - Citeseer
In the theory of groups, the important concepts of Abelian group, solvable group, nilpotent
group, the center of a group and centralizers, are all defined from the binary operation [x, y] …
group, the center of a group and centralizers, are all defined from the binary operation [x, y] …