LOGIKSEMINARIET STOCKHOLM-UPPSALA
Benno van den Berg (Darmstadt)
Aspects of Algebraic Set Theory
In this talk I will give an overview of some of my recent work on algebraic
set theory in collaboration with Ieke Moerdijk. Our aim was to find a
uniform categorical semantics for set theories such as IZF and Aczel's CZF
in the spirit of topos theory. I will discuss realizability and sheaf
interpretations and some ideas for the future.
Onsdag 17 september kl 10.30 i sal 64119, Ångströmlaboratoriet, Uppsala.