Seminar

March 15, 2024

Tuesday, 19 March 2024, Aula H (Ca’ Vignal 2).

15:00

Hugo Herbelin (INRIA, Rocquencourt-Paris)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles: the contrapositive case of Teichmüller-Tukey lemma and Berger’s update induction