Gödel's Dialectica interpretation
GPTKB entity
Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical interpretation
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gödel's Dialectica interpretation
|
| gptkbp:influenced |
gptkb:logic
gptkb:reverse_mathematics proof mining functional interpretations |
| gptkbp:introduced |
gptkb:Kurt_Gödel
|
| gptkbp:introducedIn |
1958
|
| gptkbp:publishedIn |
Dialectica
|
| gptkbp:purpose |
to interpret intuitionistic arithmetic in a quantifier-free system
|
| gptkbp:relatedTo |
gptkb:Heyting_arithmetic
proof theory functional interpretation intuitionistic arithmetic |
| gptkbp:bfsParent |
gptkb:The_Dialectica_Categories
|
| gptkbp:bfsLayer |
8
|