Vreme i mesto: Sreda, 6. maj u 12:15 u sali 844

Predavač: Ilijas Farah, Univerzitet Jork, Toronto

Naslov predavanja: Proizvodi, redukovani proizvodi i ultraproizvodi (II)

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: https://aml.matf.bg.ac.rs/?str=seminar