From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1875 Path: news.gmane.org!not-for-mail From: paolo torrini Newsgroups: gmane.science.mathematics.categories Subject: connectedness/intuitionistic logic Date: Tue, 27 Feb 2001 22:31:30 +0000 (GMT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018168 938 80.91.229.2 (29 Apr 2009 15:16:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:08 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Feb 28 12:20:29 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f1SFn7S02270 for categories-list; Wed, 28 Feb 2001 11:49:07 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: paolot@csun-gps Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 58 Original-Lines: 24 Xref: news.gmane.org gmane.science.mathematics.categories:1875 Archived-At: I am looking for information about work on the representation of topological properties (esp. connectedness) using intuitionistic logic. I presently know about definitions of connectedness in "Sheaves and Logic" (Fourman-Scott 79) and "Formal spaces" (Fourman-Grayson 82). I would be interested in knowing whether there has been more work, esp. whether there is something that may have some relation with discrete geometry. Thank you for your help, Paolo -- Paolo Torrini School of Computing Leeds 0113 233 5684