Naredni sastanak Seminara biće održan u petak, 14. marta 2025. godine, u sali 301f Matematičkog instituta SANU sa početkom u 14.15. U pitanju je zajednički sastanak sa Seminarom za logiku.

Predavač: Slavko Moconja, Univerzitet u Beogradu-Matematički fakultet

Naslov predavanja: VOTOVA I MARTINOVA HIPOTEZA ZA TEORIJE LINEARNIH UREĐENjA

Apstrakt: Votova hipoteza tvrdi da potpuna teorija prvog reda na prebrojivom jeziku, do na izomorfizam i nezavisno od kontinuum hipoteze, ima ili najviše prebrojivo mnogo ili kontinuum mnogo prebrojivih modela. Martinova hipoteza je jače tvrđenje koje kaže da pod uslovom da teorija ima manje od kontinuum mnogo prebrojivih modela, onda je L_1(T)-teorija svakog prebrojivog modela prebrojivo kategorična, gde je L_1(T) najmanji prebrojiv fragment L_{𝜔_1,𝜔} koji sadrži fragment prvog reda i konjunkcije potpunih tipova u T. Na predavanju ćemo dati pregled rezultata koji idu u prilog ove dve hipoteze; prikazaćemo i novije rezultate za slabo o-minimalne teorije iz zajedničnog istraživanja sa Predragom Tanovićem.

Napomena:
Predavanje se može pratiti na daljinu preko linka Odeljenja za matematiku: https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r