Papers & preprints
Here my papers and preprints are listed.
- Truth and Feasible Reducibility submitted to the (Journal of Symbolic Logic, joint with A. Enayat and M. Łełyk).
- Disjunctions with stopping condition submitted to the (Bulletin of Symbolic Logic, joint with R. Kossak).
- Topological Models of PA submitted to the (Annals of Pure and Applied Logic, joint with A. Enayat and J. D. Hamkins).
- Models of positive truth (Review of Symbolic Logic, joint with M. Łełyk).
- Models of positive truth with internal induction for total formulae (Review of Symbolic Logic, joint with C. Cieśliński and M. Łełyk).
- Notes on bounded induction for the compositional truth predicate (Review of Symbolic Logic, joint with M. Łełyk).
- Models of weak theories of truth (Archive for Mathematical Logic, joint with M. Łełyk).
- Understanding the strength of the compositional truth (my PhD Thesis).