𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On finitely based consequence operations

✍ Scribed by Andrzej Wroński

Publisher
Springer Netherlands
Year
1976
Tongue
English
Weight
312 KB
Volume
35
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidable consequence operators
On decidable consequence operators
✍ Jarosław Achinger; Andrzej W. Jankowski 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 575 KB

The main theorem says that a consequence operator is an effective part o~ the consequence operator ~or the classical propositional calculus iff it is a consequence operator ~or a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.

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.