Shoenfield is Gödel after Krivine (Q3437042)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Shoenfield is Gödel after Krivine |
scientific article |
Statements
Shoenfield is Gödel after Krivine (English)
0 references
11 May 2007
0 references
intuitionistic and classical arithmetic
0 references
Dialectica interpretation
0 references
functional interpretation
0 references
negative translation
0 references
