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.