# Zk 30.5.2013

<{ForumPost(poster="Veronika", timestamp=2013-06-01 14:14:41)}>
Byly jsme dvě a otázky:  
1) Def. suprema, infima, svaz (polosvaz, úplný svaz...)  
2) Neexistuje úplný polosvaz (Věta když máme suprama, máme i infima... Věta str 32)  
3) Birkhoffova věta o ideálech/filtrech  
4) Existence volných algeber a klasika předpoklad o finitárním typu  
5) Dk, že interval <0, 1> je souvislý (chtěl se zeptat na něco z topologie, aby to bylo lehké, trochu jsem věděla, hodně poradil)  
  
A druhá sada  
1) Tarského-Knasterova věta, z toho Cantor-Bernstein  
2) Alexandrovo lemma  
3) Heytingovy algebry (definice, jednoznačnost rozšíření, pseudokomplement, bool algebry, boolenizace...)  
4) Na doplnění věta 4.4. str 55 o pseudokomplementech (a & b)** = a** & b**  
  
Dal hodně otázek a ze všech kapitol, byl moc hodnej, ale jak jsme byly jsem dvě, tak to bylo trochu na dlouhý lokte i když jsme to docela uměli. P.S.: Nezapomeňte se hezky obléknout, Pultr má rád, když se přijde v obleku, asi jako že člověk vyjadřuje úctu jemu i jeho báječnému předmětu.
<{/ForumPost}>

<{ForumPost(poster="vojta_vorel", timestamp=2013-06-05 14:25:54)}>
Já jsem byl na předtermínu v kapsáčích a triku a byl na mě moc hodnej, přestože jsem vyloženě kontrastoval s kolegou v saku..
<{/ForumPost}>