From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3768
Path: news.gmane.org!not-for-mail
From: Alexander Kurz <kurz@mcs.le.ac.uk>
Newsgroups: gmane.science.mathematics.categories
Subject: hyperdoctrines and cylindric algebras
Date: Wed, 23 May 2007 08:47:43 +0100
Message-ID: <E1Hqncp-0001Qe-RU@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 1241019510 10197 80.91.229.2 (29 Apr 2009 15:38:30 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:30 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Wed May 23 07:09:42 2007 -0300
X-Keywords: 
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Wed, 23 May 2007 07:09:42 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <cat-dist@mta.ca>)
	id 1Hqncp-0001Qe-RU
	for categories-list@mta.ca; Wed, 23 May 2007 06:59:23 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 14
Xref: news.gmane.org gmane.science.mathematics.categories:3768
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/3768>

There clearly is a connection between hyperdoctrines and cylindric
algebras.

Does anybody knows work that relates the two? Or that makes use of a
result from one area to prove something in the other?

I would be greatful for any reference or comment.

Best wishes,

Alexander