A type-free Gödel interpretation (Q4175558)
From MaRDI portal
scientific article; zbMATH DE number 3609665
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A type-free Gödel interpretation |
scientific article; zbMATH DE number 3609665 |
Statements
A type-free Gödel interpretation (English)
0 references
1978
0 references
Feferman's System for Explicit Mathematics
0 references
Type-Free Goedel Interpretation
0 references
Constructive Mathematics
0 references
Diller-Nahm Interpretation
0 references