Geometricka teorie modelu
Jan Krajicek, jaro 2001, KU
(utery 15.15 - 16.45, seminarka 3.p., MU, Zitna 25, Praha 1)
Zakladnim tematem geometricke teorie modelu je fakt, ze vztah definovatelnosti (ci nejaky podobny vztah) mezi prvky ve strukture prvniho radu ma formalni vlastnosti (formalizovane pojmy jako matroid, pregeometrie a pod.) stejne, jako vztah (linearni, algebraicke, ...) zavislosti v geometrii. Geometricky pristup lze pak pouzit na zkoumani a klasifikaci struktur.
Tato oblast teorie modelu je dnes asi jeji nejdulezitejsi casti. Cilem prednasky je vysvetlit nektere zakladni pojmy a fakta teto teorie.
Pozadavky: zakladni kurs logiky, ve kterem zaznely hlavni pojmy teorie modelu.
Literatura: casti z prednasek a prehledovych clanku od D.Markera a B.Zilbera (dodam).
Postupne bude k dispozici strucny syllabus a nektere doplnujici reference.