mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Persons » Joan Rand Moschovakis

Joan Rand Moschovakis

Joan Rand Moschovakis

  • Επίτιμος Καθηγητής, Occidental College
  • ΜΠΛΑ

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

τίτλος student defense
The admissible rules of intermediate logics Νικόλαος Βαπόρης 2006-09-01
Intuitionistic analysis - Basic principles and realizability interpretations Γαρυφαλλιά Βαφειάδου 2001-12-01
2 MSc theses.

Further information

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.