**Joan Rand Moschovakis**

- Ph.D., Mathematics, University of Wisconsin, 1965
- M.S., Mathematics, University of Wisconsin, 1961
- BA, Mathematics, UC Berkeley, Summa Cum Laude, 1959

- Woodrow Wilson and NSF Graduate Fellowships

- Foundations of Intuitionistic
Analysis, Intuitionistic Interpretations
of Classical Mathematics, Classical Interpretations of Intuitionistic
Mathematics
- Admissible Rules of Intuitionistic
Logic
- History and Philosophy of Intuitionistic
Logic

*Intuitionistic analysis, forward and backward*, Public Lindstrom Lecture, Gothenburg, Sweden, October 23, 2014 publiclindstromhandout.pdf*Now under construction: intuitionistic reverse analysis*, Technical Lindstrom Lecture, Gothenburg, Sweden, October 24, 2014 technicallindstromhandout.pdf*Embedding the constructive and the classical in the intuitionistic continuum*, Proof, Truth and Computation, Fraueninsel, Chiemsee, July 24, 2014 chiemsee2014handout.pdf*Embedding the classical in the intuitionistic continuum*, UC Irvine, April 4, 2014 irvine2014handout.pdf*Constructive taxonomy*, Amsterdam, Heyting Day, September 7, 2012 amsterdamhandout.pdf*Waltzing around Markov's Principle*, Nijmegen, September 10, 2012 nijmegenhandout.pdf*``At Most One'' Constructively*, Artemov 60th at CUNY, May 23-25, 2012 artemovhandout.pdf*Models and interpretations of (intuitionistic) analysis*, VIG at UCLA, February 4-6, 2011 vig2011handout.pdf*Exercises in reverse constructive analysis (joint with Garyfallia Vafeiadou)*,Chiemsee, June 6-11, 2010 chiemseehandout.pdf*Varieties of reverse constructive mathematics*, CUNY Computational Logic Seminar, January 2008 (revised and expanded version of UCLA Logic Colloquium, April 2007) reversehandout.pdf*Unavoidable choice sequences,*Oberwolfach Week in Proof Theory and Constructive Math, April 2008; also Conference for Fred and Ray, May 2008 unavoidablehandout.pdf

*Iterated definability, lawless sequences and Brouwer's continuum*, submitted. Preprint: bristoltopost.pdf*Another Unique Weak K\"onig's Lemma*, in Logic, Construction, Computation, U. Berger, H. Diener, P. Schuster, M. Seisenberger (Eds.), Ontos 2012. Preprint: anotheruniqueWKL.pdf- (with Garyfallia
Vafeiadou):
*Some axioms for constructive analysis*, Archive for Mathematical Logic, 2012. Preprint: someaxiomstopost.pdf *Unavoidable sequences in constructive analysis*, Mathematical Logic Quarterly, 2010. Preprint: MLQnote10topost.pdf*The Logic of Brouwer and Heyting*, a chapter in**Logic from Russell to Church**, Volume 5 of- (with Garyfallia
Vafeiadou, in Greek):
*Τα ενορατικά μαθηματικά και η λογική τους (in Greek),*Stigmes kai diarkies, ed. D. Anapolitanos, Nefeli, 2009. gvfjrmgr.pdf,__gvfjrmgr.ps__ - (with Garyfallia
Vafeiadou, English translation):
*Intuitionistic mathematics and logic*. gvfjrmeng.pdf, gvfjrmeng.ps *Note on Pi^0_{n+1}-LEM, Sigma^0_{n+1}-LEM and Sigma^0_{n+1}-DNE,*Proceedings of 5th Panhellenic Logic Symposium (2005).__pls5.ps__*The effect of Markov's Principle on the intuitionistic continuum,*Proceedings of Oberwolfach Proof Theory week (April 2005).__markov.ps__*Notes on the Foundations of Constructive Mathematics*, in progress (December 2006). newnotes.ps, newnotes.pdf*Classical and constructive hierarchies in extended intuitionistic analysis,*Journal of Symbolic Logic 64 (2003), 1015-1043.*Intuitionistic**Logic,*revised 2014, in Stanford On-Line Encyclopedia of Philosophy.*Analyzing realizability by Troelstra's methods,*Annals of Pure and Applied Logic 114 (2002), 203-225*Hierarchies in Intuitionistic Arithmetic*, Gjuletchica, December 2002 : bulg02sl.ps*A classical view of the intuitionistic continuum*, Annals of Pure and Applied Logic, 1996.- Corrected version of
*An**intuitionistic theory of lawlike, choice and lawless sequences*, in Logic Colloquium '90 (ASL Helsinki), LNL 2 (1991). (The published version had a serious systematic error, which is corrected here.) helsinkicorr.pdf, helsinkicorr.ps *Relative lawlessness in intuitionistic analysis*, Journal of Symbolic Logic, 1987.*A topological interpretation of second-order intuitionistic arithmetic*, Compositio Mathematica, 1973. (The argument I gave there for x27.2 without free function variables is incorrect, as Scedrov pointed out soon afterward. Krol later gave a correct argument for the schema with this restriction, using a more intricate topological model, and van Dalen showed by a counterexample that the restriction could not be removed. )*Can There be no nonrecursive functions?*, Journal of Symbolic Logic, 1971.

*Professor
Moschovakis is Emerita
Professor of Mathematics, Occidental College.* *She has also taught in the Graduate Program in Logic
and Algorithms at the University of Athens, Greece, where she has enjoyed
supervising the Master's Thesis and PhD dissertation of Garyfallia Vafeiadou and the Master's
Thesis of Nikos Vaporis.
Comments on "Notes on the Foundations of Constructive
Mathematics" will be appreciated.
*

Last Updated: 2/14

E-mail: joan@math.ucla.edu