Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)

Απαλοιφή ποσοδεικτών· Θεώρημα 31F· Θεώρημα 31G· Άσκηση 1. [End. 3.1] 

Άσκηση 1. [End. 3.3] 

Παρουσίαση Μη συμβατικής Ανάλυσης (Σύγκλιση) [End. 2.8]

Άσκηση 3. [End. 3.2] 

Παρουσίαση Μη συμβατικής Aνάλυσης (Κατασκευή του *R, Αλγεβρικές ιδιότητες) [End. 2.8] 

Άσκηση 2. [End. 3.2] 

Παρουσίαση τοπολογικών αποδείξεων των Θεωρημάτων Συμπάγειας για την Προτασιακή και την Πρωτοτάξια Λογική

Θέση του Church· Θεώρημα 33F· Πόρισμα 33G· Θεώρημα 33H [End. 3.3]

Φυσικοί αριθμοί με διάδοχο [End. 3.1] 

Μια υποθεωρία της θεωρίας αριθμών· Το σύνολο αξιωμάτων A(E)· Λήμμα 33A· Λήμμα 33B· Θεώρημα 33C· Πόρισμα 33D· Αντιπροσωπεύσιμες σχέσεις· Θεώρημα 33E [End. 3.3] 

Προεπισκόπηση· Θεώρημα 30A [End. 3.0]

Άσκηση 7. [End. 2.5] 

Ασκήσεις 3., 4., 7. [End. 2.6]

Εισαγωγή στη Μη Διαγνωσιμότητα [End. 3] 

Θεωρία αριθμών [End. 3.0]

Μέγεθος Μοντέλων· Θεώρημα των Löwenheim-Skolem (1915)· Θεωρίες· Θεώρημα 26H· Έλεγχος Los-Vaught (1954)· Θεώρημα 26J [End. 2.6]

Ασκήσεις 1., 4., 5., 6., 8. [End. 2.5]