dr hab. Leszek Kołodziejczyk

Affiliation

Institute of Mathematics

Consultations

Środa 14:30 - 15:30 Terminy konsultacji obowiązują w czasie trwania zajęć

Phone

55-44-518

Publications

• Publications list (36)

Fields of research

• Mathematical Logic and Category Theory

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