Which Two-sorted Algebras of Booleans and Naturals have a Finite Basis?

W.J. Fokkink, J.C. van de Pol, S. Vijay

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

We show that the two-sorted algebra of Booleans and naturals with conjunction, addition and inequality is not finitely based. If addition is removed, or negation is included, then the resulting algebra is finitely based. © Birkhäuser Verlag, Basel, 2004.
Original languageEnglish
Pages (from-to)469-485
JournalAlgebra Universalis
Volume52
Issue number4
DOIs
Publication statusPublished - 2005

Bibliographical note

FokkinkPolVijay2005

Fingerprint

Dive into the research topics of 'Which Two-sorted Algebras of Booleans and Naturals have a Finite Basis?'. Together they form a unique fingerprint.

Cite this