Subject: categories: connectedness/intuitionistic logic

From: paolo torrini <[email-masked]>
Date: Tue, 27 Feb 2001 22:31:30 +0000 (GMT)

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