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