Return to the list of employees
dr hab. Leszek Kołodziejczyk, prof. UW
- Affiliation
-
profesor uczelni,
Institute of Mathematics
- L.Kolodziejczyk@mimuw.edu.pl
- Phone
- 55-44-518
- Room
- 5180
- Website
- http://www.mimuw.edu.pl/~lak
- Information in the USOSweb system
- Link
- Consultations
- Środa 14:30 - 15:30 Terminy konsultacji obowiązują w czasie trwania zajęć
Publications
Functions
- Vice-Director of Insttitute Institute of Mathematics
Fields of research
Grants
- Formula hierarchie in weak arithmetics and their extensions by counting quantifiers
- Induction for bounded formulas and its relativizations
- Provability, computation and combinatorics at the lower and intermediate levels of Gödel hierarchy
- Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy