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.
Talks and slides
-
November 5, 2018ERC FEALORA Workshop - Erlebachova bouda, KrkonošeModel theory of linear fragments of Peano arithmetic – SLIDES
-
May 28, 2018Weak arithmetic days: JAF 37 - Florence(Un)provability of Fermat’s last theorem and Catalan’s conjecture in formal arithmetics – SLIDES
-
April 24, 2018Spring school of combinatorics - Mariánská, Jáchymov(Un)provability of Fermat’s last theorem and Catalan’s conjecture in formal arithmetics – SLIDES (outdated – see the slides from the Weak arithmetic days in May 2018)
-
February 7, 2018Aplimat 2018 - BratislavaA note on the problem of prisoners and hats – SLIDES
-
November 3, 2017Prague workshop on bounded arithmeticsShepherdson’s theorems for fragments of open induction – SLIDES
-
June 7, 2017Weak arithmetic days: JAF 36 - St. PetersburgModel theory of linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from the ERC FEALORA Workshop in November 2018 instead)
-
March 13 & 31, 2017Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, Prague
-
February 1, 2017Aplimat 2017 - BratislavaShepherdson’s theorems for fragments of open induction – SLIDES (outdated; see the slides from the Prague workshop on bounded arithmetics in November 2017 instead)
-
January 26, 2017British postgraduate model theory conference: BPGMTC 2017 - LeedsLinear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
December 15, 2016Noon 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 (outdated – see slides from the Weak arithmetic days in May 2018 instead)
-
April 25, 2016Seminar of the Department of logic - Faculty of Philosophy and Arts, Charles University, PragueFermat’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)
-
April 4, 2016Spring school of combinatorics - Nová Ves, Orlické horyNonstandard Methods for standard mathematicians (and informatics) – SLIDES (outdated; see the slides from the Logic seminar of the Academy of Sciences from March 2017 instead)
-
July 7, 2015Weak arithmetic days: JAF 34 - New YorkInvited lecture: Linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
April 27, 2015Connecticut logic seminar - Wesleyan University, MiddletownDefinability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
April 24, 2015Model theory seminar - Graduate Center, CUNY, New YorkFermat’s Last Theorem and Catalan’s conjecture in weak exponential arithmetics – SLIDES
-
April 20, 2015Logic and computation seminar - University of Pennsylvania, PhiladelphiaDefinability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
March 2, 2015Rutgers logic seminar - Rutgers University, New BrunswickDefinability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
February 27, 2015Logic workshop - Graduate center, CUNY, New YorkDefinability in linear fragments of Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
February 18, 2015Models of Peano arithmetic seminar - Graduate center, CUNY, New YorkDefinability in linear fragments of Peano arithmetic – no slides (see the slides from JAF 36 in June 2017 instead)
-
November 12, 2014Doors open day - Institute of mathematics, Academy of sciences of the Czech republic, PragueNekonečná čísla aneb poznáte opici? – SLIDES (in Czech)
-
September 29, 2014Joint Prague-Vienna Logic & Set Theory Meeting - PragueModel theory of certain discretely ordered modules and linear arithmetics – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
June 17, 2014Algebraic structures and their applications: ASTA 2014 - Spineto, SienaQuantifier elimination for certain discretely ordered modules – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
April 7, 2014Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, PragueFermat’s Last Theorem and Catalan’s conjecture in Weak Exponential Arithmetics – no slides (see the slides from the Noon lecture in December 2016 instead)
-
February 8, 2014Prague gathering of logicians 2014, PragueInvited lecture: Model theory of linear fragments of arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
September 26, 2013Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - TřebízA short talk – SLIDES (in Czech)
-
September 23, 2013Doctoral thesis defense - Faculty of mathematics and physic, Charles University, PragueStudy 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, 2013MALOA Workshop: Black box groups and model theory - ManchesterQuantifier elimination for linear arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
April 22, 2013Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, PragueDescriptive analysis of linear theories and dependency problem in Peano arithmetic – SLIDES (outdated; see the slides from JAF 36 in June 2017 instead)
-
September 27, 2012Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - SlapyPeano products and descriptive analysis of linear theories – SLIDES (in Czech, outdated; see the slides from JAF 36 in June 2017 instead)
-
March 23, 2012Spring school of algebra 2012 - SázavaNon-standard methods: Three Worlds – SLIDES (outdated; see the slides from the Logic seminar of the Academy of Sciences from March 2017 instead)
-
September 27, 2011Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - SlapyLocal view of Peano products – SLIDES (in Czech, outdated; see the slides from JAF 36 in June 2017 instead)
-
April 11, 2011Logic seminar - Institute of mathematics, Academy of sciences of the Czech republic, PragueQuantifier elimination in linear arithmetic and Peano products – no slides (see the slides from JAF 36 in June 2017 instead)
-
September 23, 2010Annual meeting of the Department of theoretical computer science and mathematical logic, Faculty of mathematics and physics, Charles University - SlapyWonder of divs – SLIDES (in Czech, outdated; see the slides from JAF 36 in June 2017 instead)
-
June 4, 2010Week of doctoral students of the Charles University - PragueLifting 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, 2010Spring school of algebra 2010 - Brada, Český rájPeano arithmetic: models and unprovability – SLIDES