Teorie modelů
Zimní semestr 2010/11
Sylabus
- opakování: struktury, splňování, věta o úplnosti, kompaktnost
- základní nástroje: podstruktury, homomorfizmy, elementární
vnoření, elementární ekvivalence, diagram, elementární řetěz,
Tarského test, …
- Löwenheimovy–Skolemovy–Tarského věty, Łośův–Vaughtův test
- typy, věta o pomíjení typů, Ryll-Nardzewského věta
- saturované, univerzální a homogenní modely, věta o jednoznačnosti
- redukovaný součin, ultraprodukt, Łośova věta, elementární třídy
- Robinsonova věta o konzistenci, Craigova interpolace, Bethova
věta o definovatelnosti
- Ehrenfeuchtovy–Fraïssého hry
Doporučená literatura
- C. C. Chang, H. J. Keisler, Model theory,
Elsevier, 1990
- W. Hodges, A shorter model theory, Cambridge
University Press, 1997
- D. Marker, Model theory: an introduction,
Springer, 2002
Termíny zkoušek
Zkouším ve středu 12. 1., 19. 1., 26. 1., 2. 2.,
9. 2. a 16. 2.
ve 14 hodin ve své pracovně v MÚ.