zkouska 22.9.2009

lubos at 2009-09-22 18:52:39

Knaster-Tarski
Booleovky, potom Booleanizace a naopak proc je kazda boolova algebra i algebreou heytingovou
Ultrafiltry
Uzaver

za 3

Him at 2009-09-22 20:04:06

o Galoisovy adjunkty - tři definice (ve skriptech je to jako definice, věta, důsledek.. já to psal i s důkazy, nicméně p. Pultr mě to nenechal ani dopsat, jak je jeho dobrým zvykem)
o Alexandrovo lemma
o co jsou ultrafiltry a větu o nich (ta věta: 1) F je maximalni 2) F je prvofiltr 3) \forall a \in L exje a \in F nebo a^c \in F)

lehke otazky, krasna znamka