# zkouska 22.9.2009

<{ForumPost(poster="lubos", timestamp=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
<{/ForumPost}>

<{ForumPost(poster="Him", timestamp=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
<{/ForumPost}>