Carolin Antos-Kuby successfully defends her PhD thesis.
Carolin Antos-Kuby finishes her PhD studies with her defense "Foundations of Higher-Order Forcing".
