 The EpsilonReconstruction of Theories and Scientific Structuralism.Georg Schiemer & Norbert Gratzl  2016  Erkenntnis 81 (2):407432.details


Ackermann’s substitution method.Georg Moser  2006  Annals of Pure and Applied Logic 142 (1):118.details


Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai  2008  Mathematical Logic Quarterly 54 (6):629640.details


Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic.Vasil Penchev  2021  Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (7):157.details


Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach  2022  Journal of Symbolic Logic 87 (2):682720.details


Two types of indefinites: Hilbert & Russell.Gratzl Norbert & Schiemer Georg  2017  IfCoLog Journal of Logics and Their Applications 4 (2).details


Herbrand complexity and the epsilon calculus with equality.Kenji Miyamoto & Georg Moser  2023  Archive for Mathematical Logic 63 (1):89118.details


Herbrand's theorem as higher order recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh  2020  Annals of Pure and Applied Logic 171 (6):102792.details


Epsiloninvariant substitutions and indefinite descriptions.Zoltán Molnár  2013  Logic Journal of the IGPL 21 (5):812829.details


A Simplified Proof of the Epsilon Theorems.Stefan Hetzl  forthcoming  Review of Symbolic Logic:116.details


Semantics and Proof Theory of the Epsilon Calculus.Richard Zach  2017  In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 2747.details


Von neumann’s consistency proof.Luca Bellotti  2016  Review of Symbolic Logic 9 (3):429455.details


Unsound inferences make proofs shorter.Juan P. Aguilera & Matthias Baaz  2019  Journal of Symbolic Logic 84 (1):102122.details

