Cut elimination for a simple formulation of epsilon calculus (Q2478554)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Cut elimination for a simple formulation of epsilon calculus |
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