Published papers
- Ali Enayat. 'On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom’, Mathematics 2021, 9, link to the published version
Submitted papers
- Ali Enayat. 'Set theory with a proper class of indiscernibles’. Submitted. preprint
- Ali Enayat. 'Set theoretic Analogues of the Barwise-Schlipf Theorem’. Submitted. preprint
- Ali Enayat and Mateusz Łełyk. 'Axiomatizations of PA: A Truth-Theoretic Study’. Submitted. preprint
- Mateusz Łełyk and Carlo Nicolai. 'A Theory of Implicit Commitment’. Submitted. preprint
- Mateusz Łełyk. 'Model Theory and Proof Theory of the Global Reflection Principle’. Submitted. preprint
- Bartosz Wcisło. 'Full satisfaction classes, definability, and automorphisms’. Submitted. preprint
- Bartosz Wcisło. 'Compositional truth with propositional tautologies and quantifier-free correctness’. Submitted. preprint
- Cezary Cieśliński, Mateusz Łełyk and Bartosz Wcisło. 'The two halves of disjunctive correctness’. Submitted. preprint
In preparation