Κεφάλαιο 10: Εισαγωγή στη θεωρία μοντέλων, αξιωματική συνολοθεωρία και μέθοδος Forcing (Επιβολής) του Cohen

Από το βιβλίο Διαλέξεις - 77 (Τόμος 2)
Στοιχεία Κεφαλαίου
Βιβλίο Διαλέξεις
77 (Τόμος 2)
Αρ. Κεφαλαίου 10
Ενότητα 1
Εισαγωγή στη θεωρία μοντέλων, αξιωματική συνολοθεωρία και μέθοδος Forcing (Επιβολής) του Cohen
Γίνεται παρουσίαση της μεθόδου της επιβολής (Forcing) του Cohen καθώς και του ρόλου της στην επίλυση ορισμένων σημαντικών προβλημάτων της ZF αξιωματικής θεωρίας συνόλων. Εισαγωγικά περιλαμβάνεται η θεωρία μοντέλων με έμφαση στις πρωτοβάθμιες γλώσσες και η ZF αξιωματική θεωρία συνόλων.