✦ LIBER ✦

Varieties with decidable finite algebras II: Permutability

✍ Scribed by PaweŁ M. Idziak

Publisher: Springer
Year: 1989
Tongue: English
Weight: 338 KB
Volume: 26
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf01236871

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Varieties with decidable finite algebras

Varieties with decidable finite algebras I: Linearity

✍ PaweŁ M. Idziak 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 560 KB

Type 2 Subdirectly Irreducible Algebras

Type 2 Subdirectly Irreducible Algebras in Finitely Decidable Varieties

✍ J.H. Jeong 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 869 KB

Decidability of elementary theories of f

Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities

✍ L. V. Shabunin 📂 Article 📅 1989 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 498 KB

The variety of Kleene algebras with conv

The variety of Kleene algebras with conversion is not finitely based

✍ S. Crvenković; I. Dolinka; Z. Ésik 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 107 KB

Given an arbitrary set A, one obtains the full Kleene algebra of binary relations over A by considering the operations of union, composition, re exive-transitive closure, conversion, and the empty set and the identity relation as constants. Such algebras generate the variety of Kleene algebras (with

Embeddability skeletons of non-locally f

Embeddability skeletons of non-locally finite discriminator varieties with a poor algebra

✍ A. G. Pinus 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 679 KB

The decision problem for finite algebras

The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences

✍ Paweł M. Idziak 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 596 KB