"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 » Lombardi

Henri Lombardi
Besançon

Universal objects as constructive substitute to "ideal" objects in classical algebra

We explain how "purely ideal objects" appearing in classical "magic" proofs can be replaced by "universal objects", which are constructively well defined, in order to recover some constructive content of the classical proofs.