Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness (Q1946669)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness |
scientific article; zbMATH DE number 6154063
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness |
scientific article; zbMATH DE number 6154063 |
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
