"** new foundations must give new math**"

from

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.