Strictly primitive recursive realizability, I (Q4323037)
From MaRDI portal
scientific article; zbMATH DE number 722188
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strictly primitive recursive realizability, I |
scientific article; zbMATH DE number 722188 |
Statements
Strictly primitive recursive realizability, I (English)
0 references
20 July 1995
0 references
primitive recursive realizability
0 references
intuitionistic arithmetic
0 references
soundness
0 references
fragment of Heyting arithmetic
0 references
falsifiability
0 references
