Sylabus
1] Isomorfismus a elementarní ekvivalence
Isomorfismus, elementarní ekvivalence, Löwenheim-Skolemova věta pro teorie, druhořádové vlastnosti 2] Vnoření a homomorfismus vnoření, homomorfismus, podstruktury, elementární vnoření, Löwenheim-Skolemovy věty pro struktury 3] Ultraprodukt a ultramocnina ultraprodukt, ultramocnina, aplikace ultraproduktu a ultramocniny 4] Svazy, částečné uspořádání a Booleovy algebry svazy, distributivní svazy, Booleovy algebry, podalgebry 5] Příklady Booleových algeber dvouprvková Booleova algebra, potenční algebra, množinová algebra, Lindenbaum-Tarského algebra 6] Vlastnosti Booleových algeber nekonečné operace, úplne algebry, regulární podalgebry a zúplnění 7] Reprezentace Booleových algeber
Stoneova věta o reprezentaci