Research

My PhD Thesis

Published

1.  "Varieties of Truth Definitions" (joint work with Piotr Gruza), Archive for Mathematical Logic, published version 

2. "Pathologies in Satisfaction Classes" (joint work with Athar Abdul-Quader), Annals of Pure and Applied Logic, published version (OA) 

3. "Axiomatizations of Peano Arithmetic: A Truth Theoretic-View" (joint work with Ali Enayat),  Journal of Symbolic Logic, preprint.

4. "Implicit Commitment in a general setting" (joint work with Carlo Nicolai), to appear in Journal of Logic and computation, arxiv preprint

5. "Model Theory and Proof Theory of the Global Reflection Principle", Journal of Symbolic Logic, preprint

6. "A Theory of Implicit Commitment" (joint with Carlo Nicolai), Synthese (OA)

7. "The Two Halves of Disjunctive Correctness" (working title; joint with Cezary Cieśliński and Bartosz Wcisło), preprint, to appear in Journal of Mathematical Logic

8. "Local Collection Scheme and End-extensions of Models of Compositional truth" (joint with Bartosz Wcisło), to appear in Annals of Pure and Applied Logic, preprint

9. "Truth and Feasible Reducibility" (joint with Ali Enayat and Bartosz Wcisło), Journal of Symbolic Logic, preprint

10. "Scalar and Vectorial \mu-calculus with Atoms" (joint with Bartosz Klin), LMCS

11. "Models of Positive Truth" (joint with Bartosz Wcisło), The Review of Symbolic Logic, preprint

12. "Notes on Bounded Induction for the Compositional Truth Predicate" (joint with Bartosz Wcisło), The Review of Symbolic Logic, preprint

13. "Models of PT- with Internal Induction for Total Formulae" (joint with Cezary Cieśliński and Bartosz Wcisło), The Review of Symbolic Logic, preprint

14. "Models of Weak Theories of Truth" (joint with Bartosz Wcisło), Archive for Mathematical Logic, preprint

15. "Weak and Strong Truth Principles" (joint with Bartosz Wcisło), Studia Semiotyczne, polish version, english version

16. "On Comparing Axiomatic Theories of Truth", Studia Semiotyczne, online version

Submitted

1. "Universal Properties of Truth" (joint work with Bartosz Wcisło), submitted, arxiv preprint

2. "Reflections on Believability", joint work with Maciej Głowacki.

3. "Categoricity-like Properties in the First-Order Realm" (joint work with Ali Enayat), submitted, prerpint

In preparation

1. "Axiomatizations of Peano Arithmetic: A Truth Theoretic-View, pt. 2" (working title).

2. "Tightness and Solidity for Theories of Arithmetic" (working title), joint work with Piotr Gruza and Leszek Kołodziejczyk.

3. "Bounded Axiomatizability of Sequential Theories" (working title), joint work with Ali Enayat and Albert Visser.

4. "Reflection Inversion Theorems"

Conference Talks (selected)

Seminar Talks (selected)