Extracting Herbrand trees in classical realizability using forcing (Q2958547)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extracting Herbrand trees in classical realizability using forcing |
scientific article |
Statements
2 February 2017
0 references
classical realizability
0 references
forcing
0 references
Curry-Howard correspondence
0 references
Herbrand trees
0 references
Extracting Herbrand trees in classical realizability using forcing (English)
0 references
