Salta gli elementi di navigazione
logo ridotto
DILEF Dipartimento di Lettere e Filosofia

Anno 2013


 Venerdì 19 aprile 2013


ore 9

Peter Schuster
(University of Leeds)

Teoria degli insiemi classica: una visione critica 


ore 11

Marco Benini
(Università dell'Insubria e University of Leeds)
Fondazione point-free della matematica: un'introduzione al ragionamento senza punti




Venerdì 3 maggio 2013


Matthias Schirn
(Ludwig-Maximilians-Universität München)


Logical objects by abstraction and their criteria of identity




Venerdì 10 maggio 2013


Gerhard Jäger
(IAM, Universität Bern)

Operational Set Theory: Closure and Stability


After some preliminary remarks about operational set theory OST, the notion of operational closure is introduced: a transitive set d is called operationally closed if it contains all constants of OST and any operation f in d applied to an element a of d yields an element fa of d, provided that f applied to a has a value at all. We will show that there is a direct relationship between operational closure and stability in the sense that operationally closed sets behave like Sigma_1 substructures of the universe.

ultimo aggiornamento: 07-Ott-2016
Unifi Home Page

Inizio pagina