From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/445 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Preprint available Date: Wed, 30 Jul 1997 13:39:18 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016971 25803 80.91.229.2 (29 Apr 2009 14:56:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:56:11 +0000 (UTC) To: categories Original-X-From: cat-dist Wed Jul 30 13:39:52 1997 Original-Received: by mailserv.mta.ca; id AA04801; Wed, 30 Jul 1997 13:39:18 -0300 Original-Lines: 26 Xref: news.gmane.org gmane.science.mathematics.categories:445 Archived-At: Date: Wed, 30 Jul 1997 15:51:32 +0200 (MET DST) From: Carsten Butz Dear Colleagues, the ps-file of the following preprint is available at the homepage http://www.brics.dk/~butz : Topological Completeness for Higher-Order Logic by Steve Awodey (awodey@cmu.edu), Carsten Butz (butz@brics.dk). Abstract: Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic. Best regards, Steve Awodey and Carsten Butz