Salta gli elementi di navigazione
banner
logo ridotto
logo-salomone
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

 

Abstract
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