Petr Glivický

Petr Glivický

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:
Models of PA May 6, 2015
Linear fragments of PA – beyond LA_1
Model theory seminar April 24, 2015
Fermat’s Last Theorem and Catalan’s conjecture in weak exponential arithmetics
Models of PA March 4, 2015
Definability in linear fragments of Peano arithmetic III
CUNY Logic Workshop February 27, 2015
Definability in linear fragments of Peano arithmetic
Models of PA February 25, 2015
Definability in linear fragments of Peano arithmetic II
Models of PA February 18, 2015
Definability in linear fragments of Peano arithmetic I
Charles UniversityPeano arithmeticmodel theorynonstandard analysisnonstandard models