Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness (Q1946669)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness |
scientific article |
Statements
Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness (English)
0 references
15 April 2013
0 references
learning-based realizability
0 references
Heyting arithmetic
0 references
excluded middle
0 references
1-backtracking Coquand game semantics
0 references
recursive winning strategy
0 references
