Το μάθημα είναι μία μεταπτυχιακού επιπέδου εισαγωγή στη Θεωρία Μοντέλων με εφαρμογές από την Άλγεβρα. Τα θέματα που θα μελετήσουμε περιλαμβάνουν: Ορίσιμα σύνολα Πλήρης θεωρίες, Αλγεβρικά Κλειστά Σώματα Ανοδικό και Καθοδικό Θεώρημα των Lowenheim-Skolem Πυκνές γραμμικές διατάξεις και μπρος-πίσω αποδείξεις Απαλοιφή Ποσοδεικτών Τύποι, Θεώρημα Παράληψης Τύπων, Πρωτογενή και Ατομικά Μοντέλα Κορεσμένα και Ομογενή Μοντέλα Θεώρημα […]…
Δημοσιεύτηκε:
10 Φεβρουαρίου, 2021