MENU

Seminario di Logica e Filosofia della Scienza 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

23.03.2023

Cookie

I cookie di questo sito servono al suo corretto funzionamento e non raccolgono alcuna tua informazione personale. Se navighi su di esso accetti la loro presenza.  Maggiori informazioni