Joan Rand Moschovakis
courses given
| Course | Semester | |
|---|---|---|
| Μ05Ν. | Κατασκευαστική αριθμητική και ανάλυση | 2005-2006, χειμερινό εξάμηνο |
| Λ98Β. | Introduction to Constructive Mathematics | 2000-2001, χειμερινό εξάμηνο |
| Λ98Β. | Principles of Constructive Mathematics | 1998-1999, χειμερινό εξάμηνο |
| 3 courses. | ||
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. | ||