Joan Rand Moschovakis
Guest
of the UCLA Mathematics Department
Education
- Ph.D., Mathematics, University of Wisconsin, 1965
- M.S., Mathematics, University of Wisconsin, 1961
- BA, Mathematics, UC Berkeley, Summa Cum Laude, 1959
Honors
- Woodrow Wilson and NSF Graduate Fellowships
Research Interests
- 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
Slides
- 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
Selected
Publications and Preprints
- Unavoidable sequences in constructive analysis, to appear in
Mathematical Logic Quarterly, 2009. Preprint: MLQnote09topost.pdf
- The Logic of Brouwer and Heyting, a chapter in Logic
from Russell to Church, Volume 5 of
the Handbook of the History of Logic, ed. Woods and Gabbay, Elsevier, 2009. Preprint: logicofBandH.pdf,
logicofBandH.ps
- (with Garyfallia
Vafeiadou, in Greek): Τα ενορατικά μαθηματικά και η λογική τους (in Greek), to
appear. 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 2007, 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 now teaches occasionally in the Graduate
Program in Logic
and Algorithms at the University of Athens, Greece, where she has enjoyed
supervising the Master's Theses of Garyfallia Vafeiadou and Nikos Vaporis.
Comments on "Notes on the Foundations of Constructive
Mathematics" will be appreciated.
Last
Updated: 6/09
E-mail: joan@math.ucla.edu
UCLA Mathematics Dept.