Talks and slides

Below you can find a list containing most of the talks and one-time lectures I ever gave. For the talks when I used beamer during the presentation, a handout of the  slides is attached. If you miss slides from a particular talk, let me know. I’ll do my best to find them burried somewhere on my hard drive and upload them here.

  • February 7, 2018
    Aplimat 2018 - Bratislava
    A note on the problem of prisoners and hats – SLIDES

    Conference website

  • November 3, 2017
    Prague workshop on bounded arithmetics
    Shepherdson’s theorems for fragments of open induction – SLIDES

    Conference website

  • June 7, 2017
    Weak arithmetic days: JAF 36 - St. Petersburg
    Model theory of linear fragments of Peano arithmetic – SLIDES

    Conference website

  • March 13 & 31, 2017
    Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, Prague
    Nonstandard methods in Ramsey type combinatorics – SLIDES part 1, SLIDES part 2

    Seminar website

  • February 1, 2017
    Aplimat 2017 - Bratislava
    Shepherdson’s theorems for fragments of open induction – SLIDES (outdated; see the slides from the Prague workshop on bounded arithmetics in November 2017 instead)

    Conference website

  • January 26, 2017
    British postgraduate model theory conference: BPGMTC 2017 - Leeds
    Linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Conference website

  • December 15, 2016
    Noon lecture of the Department of applied mathematics - Faculty of mathematics and physics, Charles University, Prague
    (Un)provability of Fermat’s last theorem and Catalan’s conjecture in formal arithmetics – SLIDES

    Lecture website

  • April 25, 2016
    Seminar of the Department of logic - Faculty of Philosophy and Arts, Charles University, Prague
    Fermat’s last theorem and Catalan’s conjecture in arithmetics with weak exponentiation – no slides (see the slides from the Noon lecture in December 2016 instead)

    Seminar website

  • April 4, 2016
    Spring school of combinatorics - Nová Ves, Orlické hory
    Nonstandard Methods for standard mathematicians (and informatics) – SLIDES (outdated; see the slides from the Logic seminar of the Academy of Sciences from March 2017 instead)

    Conference website

  • July 7, 2015
    Weak arithmetic days: JAF 34 - New York
    Invited lecture: Linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Conference website

  • April 27, 2015
    Connecticut logic seminar - Wesleyan University, Middletown
    Definability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Seminar website

  • April 24, 2015
    Model theory seminar - Graduate Center, CUNY, New York
    Fermat’s Last Theorem and Catalan’s conjecture in weak exponential arithmetics – SLIDES

    Seminar website

  • April 20, 2015
    Logic and computation seminar - University of Pennsylvania, Philadelphia
    Definability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Seminar website

  • March 2, 2015
    Rutgers logic seminar - Rutgers University, New Brunswick
    Definability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Seminar website

  • February 27, 2015
    Logic workshop - Graduate center, CUNY, New York
    Definability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Seminar website

  • February 18, 2015
    Models of Peano arithmetic seminar - Graduate center, CUNY, New York
    Definability in linear fragments of Peano arithmetic – no slides (see the slides from JAF 36 in June 2017 instead)

    Seminar website

  • November 12, 2014
    Doors open day - Institute of mathematics, Academy of sciences of the Czech republic, Prague
    Nekonečná čísla aneb poznáte opici? – SLIDES (in Czech)
  • September 29, 2014
    Joint Prague-Vienna Logic & Set Theory Meeting - Prague
    Model theory of certain discretely ordered modules and linear arithmetics – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Workshop website

  • June 17, 2014
    Algebraic structures and their applications: ASTA 2014 - Spineto, Siena
    Quantifier elimination for certain discretely ordered modules – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Conference website

  • April 7, 2014
    Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, Prague
    Fermat’s Last Theorem and Catalan’s conjecture in Weak Exponential Arithmetics – no slides (see the slides from the Noon lecture in December 2016 instead)

    Seminar website 

  • February 8, 2014
    Prague gathering of logicians 2014, Prague
    Invited lecture: Model theory of linear fragments of arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Conference website 

  • September 26, 2013
    Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - Třebíz
    A short talk – SLIDES (in Czech)
  • September 23, 2013
    Doctoral thesis defense - Faculty of mathematics and physic, Charles University, Prague
    Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
  • September 17, 2013
    MALOA Workshop: Black box groups and model theory - Manchester
    Quantifier elimination for linear arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Conference website

  • April 22, 2013
    Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, Prague
    Descriptive analysis of linear theories and dependency problem in Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)

    Seminar website

  • September 27, 2012
    Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - Slapy
    Peano products and descriptive analysis of linear theories – SLIDES (in Czech, outdated; see the slides from JAF 36 in June 2017 instead)
  • March 23, 2012
    Spring school of algebra 2012 - Sázava
    Non-standard methods: Three Worlds – SLIDES (outdated; see the slides from the Logic seminar of the Academy of Sciences from March 2017 instead)

    Conference website

  • September 27, 2011
    Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - Slapy
    Local view of Peano products – SLIDES (in Czech, outdated; see the slides from JAF 36 in June 2017 instead)
  • April 11, 2011
    Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, Prague
    Quantifier elimination in linear arithmetic and Peano products – no slides (see the slides from JAF 36 in June 2017 instead)

    Seminar website

  • September 23, 2010
    Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - Slapy
    Wonder of divs – SLIDES (in Czech, outdated; see the slides from JAF 36 in June 2017 instead)
  • June 4, 2010
    Week of doctoral students of the Charles University - Prague
    Lifting of monochromatic paths in graph products and applications in model theory – SLIDES (in Czech, outdated; see the slides from JAF 36 in June 2017 instead)
  • March 27, 2010
    Spring school of algebra 2010 - Brada, Český ráj
    Peano arithmetic: models and unprovability – SLIDES

    Conference website