J. Mlček KTIML





Letní semestr 2019/20

Předmět Konání Poznámka
Nestandardní seminář II (NLTM015) 0/2, Z ČTVRTEK, 10:40-12:10, MS. PROGRAM: Nestandardní univerza. Teorie aritmetického typu. (Program lze přizpůsobit zájmu účastníků.)
Teorie množin (NLTM001) 2/2, Zk/Z ÚTERÝ 14:00-15:30, MS. Cvičení následuje. ● Přednáška se zabývá modely klasické teorie množin (konstruovatelné množiny, booleovské a symetrické modely, ultramocniny aj.) a dále rozšířenou teorií množin (neregulární, s axiomem superuniverzality), zvláště s ohledem na vnitřní rozšíření a jejich iterace, umožňující formulovat tzv. nestandardní a další matematické principy. Aplikace budou reprezentativně uvedeny. Základní znalosti teorie množin se předpokládají.
● Pracuje se intenzivně s mým speciálním textem pro tuto přednášku, který je jen v češtině.
Další literatura:
B. Balcar, P. Štěpánek, Teorie množin, Academia, 2000
T. Jech, Set Theory, Springer-Verlag, 2003
K. Kunen, Set Theory, Studies in Logic, 2011
A. Sochor, Metamatematika teorií množin, Karolinum, 2005