Joan Rand Moschovakis
courses given
| Course | Semester | |
|---|---|---|
| Μ05Ν. | Constructive arithmetic and analysis | 2005-2006, fall semester |
| Λ98Β. | Introduction to Constructive Mathematics | 2000-2001, fall semester |
| Λ98Β. | Principles of Constructive Mathematics | 1998-1999, fall semester |
| 3 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 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
| title | student | defense |
|---|---|---|
| Formalizing Constructive Analysis: A Comparison of Minimal Systems and A Study of Uniqueness Principles | 2012-07-02 | |
| 1 PhD thesis. | ||