Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
scientific article; zbMATH DE number 6154063