Matfyz Wiki
Byly jsme dvě a otázky:
Def. suprema, infima, svaz (polosvaz, úplný svaz...)
Neexistuje úplný polosvaz (Věta když máme suprama, máme i infima... Věta str 32)
Birkhoffova věta o ideálech/filtrech
Existence volných algeber a klasika předpoklad o finitárním typu
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
Tarského-Knasterova věta, z toho Cantor-Bernstein
Alexandrovo lemma
Heytingovy algebry (definice, jednoznačnost rozšíření, pseudokomplement, bool algebry, boolenizace...)
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.