Jan FEB Mar 27 2008 2009 2010 2 captures 27 Feb 09 - 27 Feb 09

Close Help

Research interests and publications

• Book "Klasická matematická logika"  (in Czech, Classical Mathematical Logic),  Karolinum, Prague 2001
• Obsah,  Předmluva ,  Úvod  (část)
• Kapitola 1:   Úvod,  §1,  §2,  Cvičení
• Kapitola VI: Úvod,  §3,  Cvičení (část),  Rejstřík věcný
• Errata


• Book: "Metamatematika teorií množin" (in Czech, Metamathematics of set theories),  Karolinum, Prague 2005
• obsah
• předmluva
• §3 GB je konečně axiomatizovatelná
• §8 Fraenkel-Mostowského permutační modely
• §12 Aplikace Booleovských modelů
  


• Prepaed book: "Logika pro všechny ochotné myslet" (in Czech) - text určený vynikajícím studentům gymnásií (více o textu).
• obsah
• předmluva, úvod, §1 kap. I  Základy výrokového počtu
• §2 kap. III  Věty o neúplnosti
• rejstříky jmenný a věcný


• List of Publications

Teaching (in Czech)

• Výběrová přednáška "Metamatematika teorií množin I" pro MFF a FF UK, úmluva proběhne e-mailem na počátku semestru - Sylabus
• Výběrová přednáška "Dokazatelnost a nedokazatelnost v Peanově aritmetice" pro MFF a FF UK se ve školním roce 2007-08 nebude konat, opakování se předpokládá ve školním roce 2008-09. Hlavní náplní této přednášky je nedokazatelnost Goodstenovy věty a nedokazatelnost modifikace konečné verze Ramseyovy věty v Peanově aritmetice.
• Přednáška "Teorie množin" - základní kurz pro 1. roč. Logiky na FF UK se koná v pondělí  10.20 - 12.45  v Matematickém ústavu,  Žitná 25 - Sylabus

Contact Information