Which two-sorted algebras of booleans and naturals have a finite basis? |
| |
| Authors: | Wan Fokkink Jaco van de Pol Sujith Vijay |
| |
| Affiliation: | (1) Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands;(2) Rutgers, Department of Mathematics, The State University of New Jersey, 110 Frelinghuysen Rd, Piscataway, NJ 08854-8019, USA |
| |
| 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.Received November 16, 2001; accepted in final form August 4, 2004. |
| |
| Keywords: | 03B25 08B99 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
