Carolin Antos-Kuby
Dr. rer. nat. Universität Wien 2015
Dissertation:
Foundations of Higher-Order Forcing
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Sy David Friedman
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 222289 for the advisor ID.