Logical problems of functional interpretations (Q5957851)
From MaRDI portal
scientific article; zbMATH DE number 1719166
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical problems of functional interpretations |
scientific article; zbMATH DE number 1719166 |
Statements
Logical problems of functional interpretations (English)
0 references
13 March 2002
0 references
functional interpretations
0 references
arithmetic in all finite types
0 references
constructive set theory
0 references
constructive set functionals
0 references
0 references
0 references
