From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2275
Path: news.gmane.org!not-for-mail
From: "Ernie Manes" <manes@mtdata.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Query (Q-algebras)
Date: Fri, 9 May 2003 07:24:35 -0400
Message-ID: <E19EA3l-000530-00@mailserv.mta.ca>
References: <E19DrRz-00074B-00@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241018543 3353 80.91.229.2 (29 Apr 2009 15:22:23 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:23 +0000 (UTC)
To: <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Fri May  9 12:49:35 2003 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Fri, 09 May 2003 12:49:35 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 19EA3l-000530-00
	for categories-list@mta.ca; Fri, 09 May 2003 12:45:21 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 10
Original-Lines: 59
Xref: news.gmane.org gmane.science.mathematics.categories:2275
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2275>

Hi Vaughan,

Regarding these and similar questions, I suggest looking at the following
two gems:

A. L. Foster, Gerneralized "Boolean" theory of universal algebras, Part II.
Identities and subdirect sums of functionally complete algebras, Math. Zeit.
59, 1953, 191-199.

T.-K. Hu, Stone duality for primal algebra theory, Math. Zeit. 110, 1060,
180-198.

Ernie Manes


----- Original Message -----
From: "Vaughan Pratt" <pratt@cs.stanford.edu>
To: <categories@mta.ca>
Sent: Thursday, May 08, 2003 3:05 PM
Subject: categories: Re: Query (Q-algebras)


>
>
> >(So if Z is 3 then there are 27 = 3^3 "Boolean" operations in place of
> >the familiar 4 = 2^2.)
>
> There should have been a "unary" in there of course.
>
> Another question about these Q-algebras that Oswald Wyler was asking
> about: what is a necessary and sufficient condition for a complete basis
> for finitary Q-algebras (the theory of Boolean algebras rather than CABAs)
> having any given Z?  For Z = 2 one answer (at least for the version of the
> problem which only considers nonzeroary operations) is that for each of
the
> following properties the basis must contain a counterexample to that
property.
> Necessity follows because each property is preserved under composition;
> sufficiency takes more work.
>
>   * selfdual (e.g. xy+yz+zx = (x+y)(y+z)(z+x))
>   * monotone
>   * affine (expressible as the XOR of its arguments, optionally plus 1)
>   * strict (maps the all-zeros input to zero)
>   * costrict (maps the all-ones input to one)
>
> (NAND violates all five at once.)  Is there a fixed number of such
properties
> that works for all finite cardinalities of Z, or must the number of
properties
> of this kind grow with Z?
>
> Vaughan Pratt
>
>