Interesuję się zagadnieniami fundacyjnymi w logice. Poniżej garść bardziej szczegółowych zagadnień:

Teoria prawdy, twierdzenie Goedla i okolice, systemy podstaw matematyki, modele arytmetyki, podstawy arytmetyki pierwszego i drugiego rzędu, podstawy teorii mnogości.

Studia i artykuły: 

Manuskrypty większości moich publikacji można znaleźć w portalu ArXiV. 

- „Compositional Truth with Propositional Tautologies and Quantifier-Free Correctness”,
praca zgłoszona do czasopisma, manuskrypt dostępny pod adresem
https://arxiv.org/abs/2011.06940

- ,,The Two Halves of Disjunctive Correctness", praca przyjęta w The Journal of Mathematical Logic, manuskrypt dostępny pod adresem https://arxiv.org/abs/2108.13718, praca wspólna z Cezarym Cieślińskim i Mateuszem Łełykiem

- „Satisfaction Classes, Definability, and Automorphisms”, Notre Dame Journal of Formal Logic 2022 63 (2), 143-163, manuskrypt dostępny pod adresem https://arxiv.org/abs/2104.09969

- „Topological Models of Arithmetic”, Fundamenta Mathematicae 2021, 256 ss. 171-193, praca wspólna z Alim Enayatem i
Joelem Davidem Hamkinsem

- „Disjunctions with Stopping Condition”, The Bulletin of Symbolic Logic 2021, 27 (3), 231-253, praca wspólna z Romanem Kossakiem

- „Local Collection and End-extensions of Models of Compositional Truth”, Annals of Pure
and Applied Logic 2021, 172(6), praca wspólna z Mateuszem Łełykiem

- „Truth and Feasible Reducibility”, The Journal of Symbolic Logic 2020, 85(1), ss. 367–421,
praca wspólna z Alim Enayatem i Mateuszem Łełykiem

- „Models of Positive Truth”, The Review of Symbolic Logic 2019, 12(1), ss. 144–172, praca
wspólna z Mateuszem Łełykiem

- „Notes on Bounded Induction for the Compositional Truth Predicate”, The Review of
Symbolic Logic 2017, 10(3), ss. 455–480, praca wspólna z Mateuszem Łełykiem

- „Models of PT– with internal induction for total formulae”, The Review of Symbolic Logic
2017, 10(1), ss. 187–202, praca wspólna z Cezarym Cieślińskim i Mateuszem Łełykiem

- „Models of Weak Theories of Truth”, The Archive for Mathematical Logic 2017, 56(5), ss.
453–474, praca wspólna z Mateuszem Łełykiem

- „Silne i słabe własności pojęcia prawdy”, Studia Semiotyczne 2016, 30(2), ss. 185–206,
praca wspólna z Mateuszem Łełykiem