[zk 13.6]

Tak asi nic noveho. Prof. Pultr prubezne vyhodnocuje vase sance na znamky a podle toho taky zadava dalsi otazky. Zkouska zacla asi o 10 minut driv, kdo prisel pozdej tak musel pockat nez se uvolni v S4 misto. Prvni otazku jsme ti co prisli driv dostali vsichni stejnou - Zornovo lemma a soucin relacnich systemu.
Ja pak mel:
Svazy jako algebry (definice svazu, vlastnosti 'V' a '^')
Heytingovy algebry (vlastnosti) a booleanizace (na dvojku nastesti dukaz booleanizace nechtel)
Dukaz, ze kompaktni podprostor Hausdorffova prostoru je uzavrena mnozina
Definice variety algeber

Uff ... ted by muj mozek potreboval tyden dovolene :?

Zornovo lemma (napsal jsem si jako Cornovo... a bylo mi vysvetleno, ze nejsem daleko od toho, psat britskeho dramakika jako Šejkspíra)

dale modularni a distributivni svazy

Ultrafiltr v boolovych algebrach...

Oddělovací axiomy...

poté jsem čestně vzdal a prohlásil, že si to zopakuji příště... bylo mi doporučeno abych se to příště spíše naučil, než zopakoval dnešní výkon...

Já hrdě vzdal někde kolem 6h ráno a místo vylaďování drobností jsem šel spát, .. vypadá to, že to byl dobrý tah... no 3. se sejdem :wink: :roll:

No ja dostal dukaz Birkhoffovy vety o maximalnich prvoidealech a prvofiltrech a dukaz vety, ze kompaktni Hausdorffuv prostor je normalni.

tutchek wrote:Zornovo lemma (napsal jsem si jako Cornovo... a bylo mi vysvetleno, ze nejsem daleko od toho, psat britskeho dramakika jako Šejkspíra) Nojo kdyz je nekdo puvodem Nemec tak ma smulu :)