"new foundations must give new math"

from "The Basic Picture. Structures for constructive topology"

by Giovanni Sambin, Oxford University Press, forthcoming

Registration

To register send an e-mail to maietti @ math.unipd.it

Registration fee: 40 euros
(to be paid at arrival).

Under the patronage of

Dipartimento di Matematica Pura ed Applicata, Università degli Studi di Padova, Italy

University of Padova, Italy

AILA (Italian Association of Logic and Applications), whose first president was Giovanni Sambin (from 1987 to 1994).

Abstracts » Ciraulo

Francesco Ciraulo
Palermo

The overlap algebra of regular opens
(j.w.w. Giovanni Sambin)

Overlap algebras are new algebraic structures recently introduced by Sambin.

They capture and formalize what of the structure of the collection of subsets is really used when working with formal topologies.

Compared with the case of lattices, the language of overlap algebras has one more primitive symbol, namely a binary relation, called overlap, which models inhabited intersection between subsets.

Two are the aims of my talk: firstly, to provide a class of topological examples of non-atomic overlap algebras; secondly, to show in practice how natural the framework of overlap algebras is for a constructive and algebraic development of topology.