"** 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 »
Coquand

**Thierry Coquand**

Göteborg

**Formal Topology and Prufer Domain**

We illustrate several notions of formal topology connected to the
notion of Prufer domain (domains that are locally valuation domains),
which can be described as a "first-order" approximation of the notion
of Dedekind domain.

In particular we present an example which requires forcing over a
site (which forces the existence of the algebraic closure of a field).