Cut elimination for a simple formulation of epsilon calculus (Q2478554)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut elimination for a simple formulation of epsilon calculus |
scientific article |
Statements
Cut elimination for a simple formulation of epsilon calculus (English)
0 references
28 March 2008
0 references
In the paper under review a proof of cut elimination for arithmetic with the \(\varepsilon\) symbol PA\(\varepsilon\) is given in detail. Using this, the author shows the termination of modified epsilon substitution process. The possibility of extension to much stronger systems is stressed.
0 references
epsilon symbol
0 references
epsilon substitution
0 references
arithmetic
0 references
