✦ LIBER ✦

On congruence modularity in varieties of logic

✍ Scribed by W. J. Blok; J. G. Raftery

Publisher: Springer
Year: 2001
Tongue: English
Weight: 62 KB
Volume: 45
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s000120050198

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On subtractive varieties, V: congruence

On subtractive varieties, V: congruence modularity and the commutators

✍ A. Ursini 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 179 KB

Many-sorted algebras in congruence modul

Many-sorted algebras in congruence modular varieties

✍ C. A. Wolf 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 607 KB

Internal Categories and Groupoids in Con

Internal Categories and Groupoids in Congruence Modular Varieties

✍ George Janelidze; Maria Cristina Pedicchio 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 221 KB

It is well known that there exist several simple descriptions of the internal categories and groupoids in various classical algebraic categories such as groups, rings, Lie algebras, etc. One of those descriptions is extended to arbitrary congruence modular varieties: we describe all internal categor

On the relationship of AP, RS and CEP in

On the relationship of AP, RS and CEP in congruence modular varieties

✍ Clifford Bergman 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 501 KB

Nilpotent and solvable radicals in local

Nilpotent and solvable radicals in locally finite congruence modular varieties

✍ Ralph McKenzie 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 829 KB

On Solvable Congruences in Finitely Deci

On Solvable Congruences in Finitely Decidable Varieties

✍ Matthew A. Valeriote 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 993 KB

## Abstract In this paper we establish the (1, 2)‐ and (2, 1)‐transfer principles for finitely decidable locally finite varieties, where a class of structures is finitely decidable if the first order theory of its finite members is recursive. The transfer principles deal with the local structure of