Omega-kategorikus struktúrák és szimmetriáik (MSc)

Tanszék: Algebra és Számelmélet Tanszék

Tematika:
Modellelméleti bevezető: elsőrendű struktúrák, kompaktsági tétel, Löwenheim-Skolem-tételek, interpretációk, ω-kategoricitás, Ryll-Nardzewski-tétel, megőrzési tételek, modell-teljes magok. Homogén struktúrák, Fraïssé-amalgamáció Ramsey-elmélet, KPT-tétel, kanonikus függvények. Homogén struktúrák reduktjai, Thomas-sejtés. Stabilitás, függetlenségi tulajdonság, SOP CSP-k végtelen struktúrákra: a végtelen bárány dilemmái, pszeudoloop lemmák, Bodirsky-Pinsker-sejtés. Sima approximáció, UIP (menny és pokol).

Előfeltétel: nincs.

Helyettesítő tárgyak: nincsenek.

Előadás:
Kurzuskód: MMNV99E-00016 Kredit: 3 Óraszám: 2 hetente