Ludomir Newelski: Wstep do teorii modeli

Wykad obejmie podstawowe pojecia teorii modeli, a zwaszcza teorii stabilnosci. Chodzi tu o rachunek na typach, redukcje kwantyfikatorów dla róznych teorii, rózne rangi (Morleya, lokalne, Shelaha), rózne konstrukcje modeli. Wykad bedzie ilustrowany przykadami z algebry. Obejmie m.in. twierdzenie Morley'a o kategorycznosci.

Wymagania od suchaczy: algebra 1B oraz (logika B lub algebra 2B).

Termin wykladu: poniedziaek 8-12, w+cw, sala 607.

Planuje dodatkowe jednorazowe zajecia doksztacajace, w pierwszym tygodniu zajec (powiedzmy 4 godziny wykadu) dla osób zainteresowanych wykadem, które nie zaliczyy logiki B. Szczegoly ustalimy w poniedzialek.

Literatura pomocnicza:
1. CC.Chang, Keisler, Model Theory (troche przestarzaa).
1. S.Buechler, Essential stability theory (troche zaawansowana).
2. G.Sacks, Saturated model theory.
3. D.Lascar, cienka ksiazka o teorii modeli.
4. D.Marker, ksiazka o teorii modeli.
5. W.Hodges, Model theory.