A partial analysis of modified realizability (Q5311732)
From MaRDI portal
scientific article; zbMATH DE number 2199938
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A partial analysis of modified realizability |
scientific article; zbMATH DE number 2199938 |
Statements
A partial analysis of modified realizability (English)
0 references
29 August 2005
0 references
Heyting arithmetic
0 references
intuitionistic first-order arithmetic
0 references
modified realizability
0 references
Kleene realizability
0 references
Kripke forcing
0 references
Friedman translation
0 references
