Publikacje
Można tu znaleźć moje artykuły.
- Truth and Feasible Reducibility (zgłoszony do The Journal of Symbolic Logic, wspólny z A. Enayatem i M. Łełykiem).
- Disjunctions with stopping condition (zgłoszony do The Bulletin of Symbolic Logic, wspólny z R. Kossakiem).
- Topological models of PA (zgłoszony do Annals of Pure and Applied Logic, wspólny z A. Enayatem i J. D. Hamkinsem).
- Models of positive truth (przyjęty do Review of Symbolic Logic, wspólny z M. Łełykiem).
- Models of positive truth with internal induction for total formulae (Review of Symbolic Logic, wspólny z C. Cieślińskim i M. Łełykiem).
- Notes on bounded induction for the compositional truth predicate (Review of Symbolic Logic, wspólny z M. Łełykiem).
- Models of weak theories of truth (Archive for Mathematical Logic, wspólny z M. Łełykiem).
- Understanding the strength of the compositional truth (mój doktorat).