- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Simplified Proof of the Epsilon Theorems
Review of Symbolic Logic 17 (4):1248-1263 (2024)
Abstract
We formulate Hilbert’s epsilon calculus in the context of expansion proofs. This leads to a simplified proof of the epsilon theorems by disposing of the need for prenexification, Skolemisation, and their respective inverse transformations. We observe that the natural notion of cut in the epsilon calculus is associative.Other Versions
No versions found
My notes
Similar books and articles
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2012 - In Ed Zalta, Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford Encyclopedia of Philosophy.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva, Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.
Cut elimination for a simple formulation of epsilon calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
Göodel's Theorems and the Epsilon Calculus.Slater Hartley - 2016 - South American Journal of Logic 2 (1):83-90.
Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.
Epsilon substitution method for theories of jump hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.
Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.
Analytics
Added to PP
2023-07-11
Downloads
46 (#1,255,560)
6 months
10 (#1,159,562)
2023-07-11
Downloads
46 (#1,255,560)
6 months
10 (#1,159,562)
Historical graph of downloads
References found in this work
The Stanford Encyclopedia of Philosophy: A Developed Dynamic Reference Work.Jan van Eijck & Albert Visser - 2003 - Metaphilosophy 33 (1‐2):210-228.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.
Unsound inferences make proofs shorter.Juan P. Aguilera & Matthias Baaz - 2019 - Journal of Symbolic Logic 84 (1):102-122.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation