Basic Information 
Title:  Professor 
Area of Specialization:  Logic 
Division:  History of Science and Technology 
Contact details 
Phone No. :  (+30) 210 727 5523 
Fax:  (+30) 210 727 5530 
Email:  cdimitr[at]phs.uoa[dot]gr 
Office hours:  Thursday, 12.0014.00 
Website:  mpla.math.uoa.gr/~cdimitr/ 
Contact address:  National and Kapodistrian University of Athens Department of Philosophy and History of Science (M.I.Th.E.), University Campus, Ano Ilisia 15771, Athens Greece 
Academic information 
Education 
19711975 Department of Mathematics, University of Athens (Greece) 19761980 Department of Mathematics, University of Manchester (U.K.) 
Research interests 
 Mathematical Logic
 Set Theory
 History of Logic

Courses and Seminars 
Undergraduate Compulsory:  Elements of Logic and Set Theory (K026)
Elective – Compulsory: Graduate (Graduate Program in History and Philosophy of Science and Technology) 
Selected Publications 
 C. Dimitracopoulos: On end extensions of models of subsystems of Peano arithmetic, Theoret. Comput. Sci. 257 (2001), 7984.
 C. Dimitracopoulos: Truth and Proof: Goedel’s theorems (in Greek), Neusis 11 (2002), 7584.
 A. Sirokofskich and C. Dimitracopoulos: On a problem of J. Paris, J. Logic Comput. 17 (2007), 10991107.
 Ch. Cornaros and C. Dimitracopoulos: On two problems concerning end extensions, Arch. Math. Logic 47 (2008), 114.
 C. Dimitracopoulos: The Aristotelean Syllogistic (in Greek), in: Dots and dashes, D. Anapolitanos (ed.), Nefeli Publ., Athens, 2009, 101—118.
 E. Giannakoulias and C. Dimitracopoulos: The completeness of the Stoic propositional calculus (in Greek), Neusis 20 (2011/2012), 130165.
 C. Dimitracopoulos and V. Paschalis: End extensions of weak arithmetic theories, 12 pages, to appear in Notre Dame J. Form. Log.

Additional Information 
 Referee of 21 papers for various scientific journals, such as Annals of Pure and Applied Logic, Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of Symbolic Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic, Theoretical Computer Science.
 71 reviews of (extended) abstracts for the proceedings of various panhellenic and international conferences, such as Computability in Europe 2007 (Siena), 23^{rd} World Congress of Philosophy (Athens, 2013), 33^{rd} Weak Arithmetics Days (Gothenburg, 2014) and 3^{rd} Panhellenic Conference of Philosophy of Science (Athens, 2014).
 88 reviews of research papers for Mathematical Reviews and 8 reviews of books for Mathematical Reviews (2), Journal of Symbolic Logic (2) and Metascience (4).
 Coeditor of Proceedings of Logic Colloquium 2005, Lecture Notes in Logic 28, Cambridge University Press, 2008.
 Coeditor of Proceedings of Computability in Europe 2008, Lecture Notes in Computer Science 5028, SpringerVerlag, 2008.
 Coeditor of New Studies in Weak Arithmetics, Lecture Notes 205, CSLI Publications, Stanford, 2013.
 Supervisor of 17 B.Sc. theses (at the University of Athens), 12 Master’s theses (1 at the University of Crete and 11 at the University of Athens) and 2 Doctoral theses (1 at the University of Crete and 1 at the University of Athens).
