Joan Moschovakis

#	Item
1	The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15 Add to Reading List Source URL: fsw01.bcc.cuny.edu Language: English - Date: 2012-05-16 01:10:11 Mathematics Philosophy Logic Meals Joan Moschovakis Melvin Fitting Rohit Jivanlal Parikh Break Coffee Artyomov Dexter Kozen Anil Nerode
2	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic