This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Persons » Κωνσταντίνος Δημητρακόπουλος

Κωνσταντίνος Δημητρακόπουλος

Photo of Dimitracopoulos

Κωνσταντίνος Δημητρακόπουλος

Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
  • Καθηγητής, Τμήμα Μεθοδολογίας, Ιστορίας και Θεωρίας της Επιστήμης ΕΚΠΑ, ΕΚΠΑ ↵
Website: http://mpla.math.uoa.gr/~cdimitr/

seminars given

ημερομηνία τίτλος
2010/10/08 The party problem and the incompleteness of Peano Arithmetic
2010/03/05 Truth definitions and subsystems of Peano Arithmetic (Part II)
2010/02/26 Truth definitions and subsystems of Peano Arithmetic
2008/04/04 Ramsey's theorem and the incompleteness of arithmetic II
2008/03/28 Ramsey's theorem and the incompleteness of arithmetic I
2007/12/07 Subsystems of Peano arithmetic
2005/12/16 Subsystems of first-order arithmetic
2005/01/21 Hilbert's 10th problem, II
2004/11/26 Hilbert's 10th problem, I
2004/05/07 Ramsey's Theorem
2004/01/23 The “indemonstrable moods” of the Stoics
2003/02/21 The pigeonhole principle and the infinitude of primes
2002/11/15 The MacDowell-Specker theorem and generalizations
2002/03/01 Finite axiomatizability of subsystems of P
2001/12/21 Indicators and the incompleteness of Peano arithmetic
2000/11/10 Hilbert's 10th problem
2000/03/31 End extensions of models, II
2000/03/10 End extensions of models, I
1999/11/19 Introduction to Stoic Logic - The “indemonstrable moods” of the Stoics
1999/03/19 Introduction to Aristotle's logic, II
1999/03/05 Introduction to Aristotle's logic, I
1999/01/15 The principle of induction for addition
1998/05/29 Subsystems of Peano arithmetic, III
1998/05/15 Subsystems of Peano arithmetic, II
1998/05/08 Subsystems of Peano arithmetic, I
1998/01/16 Hilbert's 10th problem
1997/04/04 The incompleteness of Peano arithmetic and Ramsey's theorem, II
1997/03/28 The incompleteness of Peano arithmetic and Ramsey's theorem, I
28 seminars.

PhD theses supervised

τίτλος student defense
End extensions of models of arithmetic Βασίλειος Πασχάλης 2016-06-28
Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση. Γεώργιος Ζήκος 2012-09-13
Model Theory and arithmetic Άλλα Σιροκόφσκιχ 2007-07-01
3 PhD theses.

MSc theses supervised

τίτλος student defense
Model-theoretic investigations on "overwhelming majority" default conditionals Χρήστος Ραντσούδης 2015-11-09
Scientific realism and modality in abduction Αλέξανδρος Αποστολίδης 2015-11-04
Variants of Stalnaker Stable Belief Sets Χρήστος Μωυζές 2014-07-29
o-Minimality and its Variations Βάγιος Βλάχος 2014-04-01
Large Cardinals and Elementary Embeddings of V Μάριος Κουλάκης 2010-06-23
Tarski's High School Algebra Problem Ρίζος Σκλήνος 2008-07-01
Belief revision and iterated revision Χρήστος Κανλής 2007-12-01
Modal Logic and Provability Αναστασία-Μαρία Φασούλη 2007-07-01
The problem of consistency of NF Νικόλαος Θεοδώρου 2007-07-01
Anti-foundation P. Rouvelas 2007-03-01
An introduction to dynamic logic Γεώργιος Ζήκος 2006-12-01
Algebraic modal logic and applications C. Manouvelos 2006-11-01
Formal languages and models of computation with limited resources Κωνσταντίνα Γαρούφη 2005-09-01
The MacDowell-Specker theorem Γεώργιος Τζαχρίστας 2003-12-01
Hybrid logics Βασιλική Καλιακούδα 2003-07-01
Extensions of Hilbert¢s 10th problem Ορέστης Ράπτης 2002-09-01
Model-theoretic constructions in many-valued modal logic Παντελεήμων Ελευθερίου 2002-07-01
Diophantine equations and Hilbert¢s 10th problem Πολυνίκη Σύψα 2002-03-01
Routing in satellite networks Άγγελος Σταύρου 2001-07-01
Morley's categoricity theorem Αριστείδης Δημακάκος 2000-06-01
Locally finitely presentable categories as categories of models of $L_\omega$ Ουρανία Κεμπάπη 2000-06-01
21 MSc theses.

Further information

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.