mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Κωνσταντίνος Δημητρακόπουλος

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

Photo of Dimitracopoulos

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

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

courses given

Course Semester
M12. Θεωρία μοντέλων 2013-2014, χειμερινό εξάμηνο
ΜΞ12. Θεωρία Μοντέλων 2012-2013, εαρινό εξάμηνο
Λ1. Μαθηματική λογική 2008-2009, εαρινό εξάμηνο
M12. Θεωρία μοντέλων 2007-2008, εαρινό εξάμηνο
Λ1. Μαθηματική λογική 2007-2008, χειμερινό εξάμηνο
Μ6. Θεωρία συνόλων 2006-2007, εαρινό εξάμηνο
Λ1. Μαθηματική λογική 2006-2007, χειμερινό εξάμηνο
Μ6. Θεωρία συνόλων 2005-2006, εαρινό εξάμηνο
Λ1. Μαθηματική λογική 2005-2006, χειμερινό εξάμηνο
Λ1. Μαθηματική λογική 2004-2005, εαρινό εξάμηνο
M12. Θεωρία μοντέλων 2004-2005, χειμερινό εξάμηνο
Λ1. Μαθηματική λογική 2003-2004, εαρινό εξάμηνο
Λ03Ν. Models of peano arithmetic 2003-2004, χειμερινό εξάμηνο
Μ6. Θεωρία συνόλων 2002-2003, εαρινό εξάμηνο
Λ02Β. Metamathematics of Peano arithmetic 2002-2003, εαρινό εξάμηνο
Λ1. Μαθηματική λογική 2002-2003, χειμερινό εξάμηνο
M12. Θεωρία μοντέλων 2001-2002, εαρινό εξάμηνο
Λ1. Μαθηματική λογική 2001-2002, χειμερινό εξάμηνο
Λ1. Μαθηματική λογική 2000-2001, χειμερινό εξάμηνο
Λ1. Μαθηματική λογική 1999-2000, χειμερινό εξάμηνο
Λ1. Μαθηματική λογική 1998-1999, χειμερινό εξάμηνο
M12. Θεωρία μοντέλων 1997-1998, εαρινό εξάμηνο
Λ1. Μαθηματική λογική 1997-1998, χειμερινό εξάμηνο
Λ1. Μαθηματική λογική 1996-1997, εαρινό εξάμηνο
24 courses.

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.

Reporter

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