dr hab. Leszek Kołodziejczyk

Afiliacja

profesor uczelni, Instytut Matematyki

Mail

la.kolodziejcz@uw.edu.pl

Telefon

55-44-518

Pokój

5180

Strona internetowa

http://www.mimuw.edu.pl/~lak

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

środa 10:30-11:45

Funkcje

• Wicedyrektor Instytutu Instytut Matematyki

Publikacje

• Publikacje (36)

Dziedziny badań

• Logika matematyczna i teoria kategorii
  Logika matematyczna: niestandardowe modele arytmetyki, matematyka odwrotna, teoria dowodu, złożoność dowodów

Granty

• Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
  Finansowany przez: Narodowe Centrum Nauki (Opus)
• Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
  Finansowany przez: Narodowe Centrum Nauki
• Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
  Finansowany przez: Narodowe Centrum Nauki
• Indukcja dla formuł ograniczonych i jej relatywizacje
  Finansowany przez: Narodowe Centrum Nauki
• Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego