No label defined (Q4215634)
From MaRDI portal
scientific article; zbMATH DE number 1215497
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1215497 |
Statements
8 December 1998
0 references
Gödel functionals of higher types
0 references
inductive definitions
0 references
constructive content of arithmetic and analysis
0 references
functional interpretation
0 references
Dialectica interpretation
0 references
subsystems of analysis
0 references
constructive interpretation
0 references
second order arithmetic and its subsystems
0 references
arithmetic
0 references
double negation translations
0 references
predicative subsystems
0 references
