✦ LIBER ✦

Finite quasivarieties and self-referential conditions

✍ Scribed by Alexei Vernitski

Book ID: 106538861
Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 217 KB
Volume: 78
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-005-7348-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite basis problems and results for qu

Finite basis problems and results for quasivarieties

✍ Miklós Maróti; Ralph McKenzie 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 381 KB

Subquasivarieties of implicative locally

Subquasivarieties of implicative locally-finite quasivarieties

✍ Alexej P. Pynko 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 239 KB

## Abstract A quasivariety is said to be __implicative__ if it is generated by a class of algebras with equationally‐definable implication of equalities. Implicative finitely‐generated quasivarieties appear naturally within logic, for instance, as equivalent quasivarieties of Gentzen‐style calculi

Circular programs and self-referential s

Circular programs and self-referential structures

✍ Lloyd Allison 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 564 KB

On Finitely Based Groups and Nonfinitely

On Finitely Based Groups and Nonfinitely Based Quasivarieties

✍ John Lawrence; Ross Willard 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 171 KB

We define the notion of strictly finitely based varieties of groups and determine which finite groups are strictly finitely based. Then we use this result to prove the existence of "very nonfinitely based" finite algebras, thereby solving two open problems in the theory of quasivarieties.

HARMAN ON SELF REFERENTIAL THOUGHTS

✍ Christopher S. Hill 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 155 KB

Quasivarieties of Logic, Regularity Cond

Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization

✍ G. D. Barbour; J. G. Raftery 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 537 KB