You are not logged in |
Return to the list of employees
dr hab. Leszek Kołodziejczyk
- Affiliation
-
profesor uczelni,
Institute of Mathematics
- la.kolodziejcz@uw.edu.pl
- Phone
- 55-44-518
- Room
- 5180
- Website
- http://www.mimuw.edu.pl/~lak
- Other information
- Employee's page on USOSweb
- Consultations
środa 10:30-11:45
Publications
Functions
- Vice-Director of Insttitute Institute of Mathematics
Fields of research
Grants
- Between proof theory, reverse mathematics, and the model theory of arithmetic
- 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
