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 …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

[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 …

[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] …