Stránky byly spuštěny teprve nedávno a jsou stále v testovacím provozu. Budu vděčný, když mi případné objevené nedostatky či návrhy na vylepšení pošlete na email uvedený v patičce stránky.
Česky - Deutsch - English
Vítejte na těchto stránkách.
Novinky
Prezentace: Lifting of Monochromatic Paths in Subsets of Graph Products and Application in Model Theory - 4. 6. 2010, 13:59
Slidy (v angličtině) k mojí přednášce na Doktorandském týdnu 2010 o kombinatorickém tvrzení o jednobarevných cestách v grafech a aplikacích v teorii modelů aritmetikPrezentace: Models of arithmetics - 14. 5. 2010, 9:22
Slidy (v angličtině) k mojí přednášce na Jarní škole algebry 2010 o modelech aritmetických teorií a dokazování nedokazatelnosti zejména v Peanově aritmetice.Monochromatic paths in subsets of graph products - 11. 5. 2010, 15:28
Článek, v němž je dokázána abstraktní věta o existenci jednobarevných cest v podmnožinách součinů orientovaných grafů. Tato věta je následně aplikována pro důkaz nedefinovatelnosti krátké paraboly v jistém rozšíření Presburgerovy aritmetiky a rovněž pro důkaz existenčn...Modely aritmetických a bohatých teorií - 11. 5. 2010, 15:21
Diplomová práce, v níž se zabývám otázkou existence dvou peanovských součinů na daném spočetném nestandardním modelu Presburgerovy aritmetiky takových, které se shodují na celém jednom nestandardním slicu, avšak liší se někde pod ním.Velká Fermatova věta v aritmetikách s axiomaticky zavedenou exponenciálou - 11. 5. 2010, 14:36
Bakalářská práce o nedokazatelnosti Velké Fermatovy věty v jisté třídě aritmetických teorií, v nichž je exponenciála zavedena axiomaticky.Nepřehlédněte
Něco málo o mě - 10. 1. 2010, 1:02
Krátké shrnutí toho, kdo jsem, a co dělám. Moje odborné zájmy v matematice, výuka na MFF UK, cestování, politika.
Česky - Deutsch - English
