Venerdì 19 aprile 2013
ore 9
Peter Schuster
(University of Leeds)
Teoria degli insiemi classica: una visione critica
ore 11
==============================================================================
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