Homepage » Faculty and Staff » Faculty » Konstantinos Dimitrakopoulos

Konstantinos Dimitrakopoulos

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
E-mail: cdimitr[at]phs.uoa[dot]gr
Office hours: Thursday, 12.00-14.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

Academic information


1971-1975  Department of Mathematics, University of Athens (Greece)
1976-1980  Department of Mathematics, University of Manchester (U.K.)

Research interests

  • Mathematical Logic
  • Set Theory
  • History of Logic

Courses and Seminars



  • Elements of Logic and Set Theory (K026)

Elective – Compulsory:

  • History of Logic (I204)

Graduate (Graduate Program in History and Philosophy of Science and Technology)

  • Logic
  • History of Logic

Selected Publications

  • C. Dimitracopoulos: On end extensions of models of subsystems of Peano arithmetic, Theoret. Comput. Sci. 257 (2001), 79--84.
  • C. Dimitracopoulos: Truth and Proof: Goedel’s theorems (in Greek), Neusis 11 (2002), 75-84.
  • A. Sirokofskich and C. Dimitracopoulos: On a problem of J. Paris, J. Logic Comput. 17 (2007), 1099--1107.
  • Ch. Cornaros and C. Dimitracopoulos: On two problems concerning end extensions, Arch. Math. Logic 47 (2008), 1--14.
  • 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), 130-165.
  • 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), 23rd World Congress of Philosophy (Athens, 2013), 33rd Weak Arithmetics Days (Gothenburg, 2014) and 3rd 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).
  • Co-editor of Proceedings of Logic Colloquium 2005, Lecture Notes in Logic 28, Cambridge University Press, 2008.
  • Co-editor of Proceedings of Computability in Europe 2008, Lecture Notes in Computer Science 5028, Springer-Verlag, 2008.
  • Co-editor 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).