# 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