| J. Mlček KTIML
|
| 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 |