Prof. Dr. Maximilian Schuh (Professor emeritus, Department of Farm Animals and Herd Management, Univ...
. Rheumatoid arthritis, it gives an excellent result in rheumatoid arthritis. I have a patient at UF...
What element would you like for Christmas? We asked the "Periodic Table of Videos" team, along with ...
SYNOPSIS: Kishore Mahbubani, Dean, Lee Kuan Yew School of Public Policy argues in his latest book, T...
Complete video at: fora.tv British philosopher John Gray argues that authoritarian dictatorships may...
citeseer |
(0) (0 Votes)
|
Views: (1016) Date: (13-05-09) Pages: () |
Abstract: 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.