Harvard Logic Colloquium

Joan Bagaria (Universitat de Barcelona) "Reflection phenomena in the set-theoretic universe"

The phenomenon of reflection occurs at different layers of the set-theoretic universe V, and strengthened forms of reflection associated to each layer give rise to natural additional axioms for set theory of different sorts. In this talk we shall review some strong forms of reflection pertaining to different layers such as the class of ordinals, some inner models, V itself, and even the ideal extensions of V provided by the forcing method, while exposing some intriguing connections among the axioms that arise in each case.

Reception following the talk.

Sponsored by the Logic Center at Harvard University