Videos:
I’ve been invited to the podcast aboutlogic, hosted by D. Sarikaya and T. Altenkirch:
(German) I briefly explain the concept of mathematical axioms:
Texts and books:
(German) An introduction into forcing and set-theoretic independence:
Outreach