
Petr Glivický
Charles University
external web page
Petr Glivický is a Researcher at Charles University in Prague, in the Department of Theoretical Computer Science and Mathematical Logic, where he received his doctorate in 2013 as a student of Josef Mlček. His research interests include model theory, Peano Arithmetic, and non-standard analysis.
Petr Glivický has 6 talks in our database:
Model theory seminar
April 24, 2015