mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Posts » 2016 » June » 20 » Παρουσίαση Διδακτορικής Διατριβής Βασιλείου Πασχάλη
download post: { pdf }

Παρουσίαση Διδακτορικής Διατριβής Βασιλείου Πασχάλη

Published at: 2016-06-20, 22:34

Ημερομηνία: Τρίτη, 28 Ιούν 2016

Ώρα: 14:00-16:00

Τόπος: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Αίθουσα Τηλεδιασκέψεων

Τίτλος Διατριβής:

End extensions of models of arithmetic

Σύνοψη:

Η διδακτορική διατριβή ασχολείται με τη μελέτη προβλημάτων που αφορούν τελικές επεκτάσεις μοντέλων υποσυστημάτων της πρωτοβάθμιας αριθμητικής Peano. Πιο συγκεκριμένα, το πρόβλημα του J. Paris:

«Υπάρχει, για κάθε αριθμήσιμο μοντέλο της Σ1 συλλογής γνήσια τελική επέκτασή του που ικανοποιεί την Δ0 επαγωγή;»

παραμένει ανοικτό. Το πρόβλημα μελέτησαν οι J. Paris και A. Wilkie (1989), οι οποίοι απέδειξαν ότι ικανή συνθήκη για θετική απάντηση είναι το μοντέλο να είναι ΙΔ0-πλήρες (όπου με ΙΔ0 συμβολίζεται η θεωρία της Δ0-επαγωγής). Αποδεικνύουμε ότι η χρήση της έννοιας της ΙΔ0-πληρότητας μπορεί να παρακαμφθεί και στη θέση της να χρησιμοποιηθεί τυποποίηση του κλασικού επιχειρήματος του θεωρήματος πληρότητας (θεώρημα Hilbert-Bernays), με χρήση σημασιολογικών πινάκων (semantic tableaux).

Επταμελής Επιτροπή:

Κωνσταντίνος Χατζηκυριάκου
Κωνσταντίνος Δημητρακόπουλος
Ali Enayat
Παναγής Καραζέρης
Χαράλαμπος Κορνάρος
Θανάσης Φειδάς
Αθανάσιος Τζουβάρας
published by Dimitrios M. Thilikos,
3 years, 5 months ago.

Comments

You must be logged in to comment.

Reporter

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