Leszek Kołodziejczyk

Model-theoretic proofs of unprovability theorems in bounded arithrnetic

Affiliation

Uniwersytet Warszawski

Field

mathematics

Status

Accepted

Awarding date

May 15, 2014

Reviewers

prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Bogdan Węglorz (Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie); prof. dr hab. Damian Niwiński (Uniwersytet Warszawski)