Αίθουσα Συνεδριάσεων του Τμήματος Μαθηματικών,
3ος όροφος κτιρίου Σ.Θ.Ε.
Πέμπτη 19 Οκτωβρίου 2017
12:15-1:00 Γιάννης Σουλδάτος, University of Detroit Mercy*
Τίτλος: Φάσματα απειρογενών προτάσεων
Περίληψη: Έστω P μία ιδιότητα και φ μία πρόταση. Το P φάσμα της φ είναι το σύνολο όλων των πληθικών αριθμών κ ώστε τα μοντέλα της φ που έχουν μέγεθος κ ικανοποιούν την ιδιότητα P. Κατά τη διάρκεια της ομιλίας θα επικεντρωθούμε στην περίπτωση που η φ είναι μία απειρογενής πρόταση και η P είναι “υπάρχει μοντέλο”, ή “ικανοποιεί την ιδιότητα αμαλμαγατο-ποίησης (amalgamation property)”. Θα δώσουμε μία γενική επίβλεψη γνωστών θεωρημάτων και ανοιχτών προβλημάτων στην περιοχή, και θα προσπαθήσουμε να απαντήσουμε τι επιπτώσεις έχει η συνολοθεωρία στα P-φάσματα.
Προαπαιτούμενα: Θα υποθέσουμε ότι το ακροατήριο έχει κάποια βασική εξοικείωση με την πρωτοβάθμια λογική, π.χ. Θεώρημα Συμπάγειας, και την Θεωρία Συνόλων, π.χ. διατακτικοί και πληθικοί αριθμοί.
*Ο κ. Σουλδάτος έχει εκλεγεί στη θέση επίκουρου καθηγητή στο γνωστικό αντικείμενο Μαθηματική Λογική.
Υπεύθυνοι Σεμιναρίου
Α. Πάπιστας (apapist@math.auth.gr) 9-7955
Χ. Χαραλάμπους (hara@math.auth.gr) 9-7934