ďťż
Zakład Logiki Matematycznej
Wydział Matematyki i Informatyki
Uniwersytet im. A. Mickiewicza w Poznaniu
  Strona główna       Pracownicy       Doktoranci    
  Konferencje Filozofia Matematyki       Archiwum   Ciekawostki     Logika w sieci    
               

ALU 410 - Podstawy algebry uniwersalnej

* Elementy teorii krat.

* Kongruencje, homomorfizmy; podstawowe twierdzenia o homomorfizmie, krata kongruencji i jej własności.

* Produkty, produkty podproste, podprosta nieredukowalność i twierdzenia Birkhoffa o algebrach podprosto nieredukowalnych.

* Rozmaitości i twierdzenie Tarskiego o charakteryzacji rozmaitości.

* Algebra termów, algebra wolna, identyczności i klasy algebr definiowalne równościowo.

* Logika równościowa i twierdzenie Birkhoffa o pełności logiki równościowej.

* Ultraprodukty i twierdzenie Jonssona.

* Warunki Malcewa.