Published papers

  • Cezary Cieśliński, Leon Horsten and Hannes Leitgeb (2023), “Axioms for typefree subjective probability”, Review for Symbolic Logic, Online first
  • Mateusz Łełyk (2022). “Model Theory and Proof Theory of the Global Reflection Principle”, The Journal of Symbolic Logic, 1-42. doi:10.1017/jsl.2022.39
  • Mateusz Łełyk and Carlo Nicolai (2022), “A Theory of Implicit Commitment”. Synthese, open access
  • Cezary Cieśliński, Mateusz Łełyk and Bartosz Wcisło (2022), “The two halves of disjunctive correctness”, Journal of Mathematical Logic, preprint
  • Ali Enayat (2021), “On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom”, Mathematics, 9, link to the published version
  • Ali Enayat ‘Condensable models of set theory’, Archive for Mathematical Logic, open access
  • Ali Enayat. ‘Set theory with a proper class of indiscernibles’, Fundamenta Mathematicae, open access
  • Ali Enayat. ‘Set theoretic Analogues of the Barwise-Schlipf Theorem’, Annals of Pure and Applied Logic, open access
  • Bartosz Wcisło. ‘Full satisfaction classes, definability, and automorphisms‘, Notre Dame J. Formal Logic 63 (2), 143-163, DOI: 10.1215/00294527-2022-0013, preprint

Submitted papers

  • Ali Enayat and Mateusz Łełyk. ‘Axiomatizations of PA: A Truth-Theoretic Study’. Submitted. preprint
  • Bartosz Wcisło. ‘Compositional truth with propositional tautologies and quantifier-free correctness’. Submitted. preprint

In preparation