Vreme i mesto: Sreda, 29. april u 12:15 u sali 844
Predavač: Ilijas Farah, Univerzitet Jork, Toronto
Naslov predavanja: Proizvodi, redukovani proizvodi i ultraproizvodi (I)
Sažetak: Na ovom predavanju ćemo proučavati važne konstrukcije masivnih modela u teoriji modela: direktne proizvode, redukovane proizvode i ultraproizvode. Videćemo kako se teorija (prvog reda) dobijenog modela može izračunati iz teorija polaznih modela (preko Lošove teoreme), i čemu ove konstrukcije služe u teoriji modela i van nje. To će nam pružiti priliku da prirodno definišemo i proučimo i zasićene modele.
Predavanje je pre svega namenjeno studentima i trudićemo se da ga ispričamo na način koji ne zahteva posebna predznanja.
Najavu predavanja i više informacija o Seminaru možete pronaći na stranici Seminara:
