Joan Rand Moschovakis
seminars given
ημερομηνία | τίτλος | |
---|---|---|
2003/11/21 | Hierarchies in realistic extensions of intuitionistic theories | |
2000/02/18 | The Gödel-Gentzen Negative Translation and Classical Function Realizability | |
1998/11/27 | Realizability, models and applications | |
3 seminars. |
PhD theses supervised
τίτλος | student | defense |
---|---|---|
Formalizing Constructive Analysis: A Comparison of Minimal Systems and A Study of Uniqueness Principles | 2012-07-02 | |
1 PhD thesis. |
MSc theses supervised
Further information
- Teacher profile (for extra information about courses given).