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; zbMATH DE number 5255281
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Cut elimination for a simple formulation of epsilon calculus |
scientific article; zbMATH DE number 5255281 |
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
0.8328255414962769
0 references
0.8159696459770203
0 references
0.8114621043205261
0 references
0.7980061769485474
0 references
