dr hab. Leszek Kołodziejczyk

Affiliation

profesor uczelni, Institute of Mathematics

Mail

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

Office hours (availability for students)

środa 10:30-11:45

Functions

• Vice-Director of Insttitute Institute of Mathematics

Publications

• Publications list (36)

Fields of research

• Mathematical Logic and Category Theory
  Mathematical logic: nonstandard models of arithmetic, reverse mathematics, proof theory, proof complexity

Grants

• Between proof theory, reverse mathematics, and the model theory of arithmetic
  Financed by: National Science Center (Opus)
• Provability, computation and combinatorics at the lower and intermediate levels of Gödel hierarchy
  Financed by: National Science Center
• Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy
  Financed by: National Science Center
• Induction for bounded formulas and its relativizations
  Financed by: National Science Center
• Formula hierarchie in weak arithmetics and their extensions by counting quantifiers
  Financed by: Ministry of Science and Higher Education