No CrossRef data available.
Article contents
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS
Published online by Cambridge University Press: 10 July 2023
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.
MSC classification
- Type
- Research Article
- Information
- Copyright
- © The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic