Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
type: Item
instance of: scholarly article
title: Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
zbMATH Open document ID: 1270.03117
author: Federico Aschieri
published in: Annals of Pure and Applied Logic
publication date: 2013-04-15T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 6154063
zbMATH Keywords: learning-based realizability
zbMATH Keywords: Heyting arithmetic
zbMATH Keywords: excluded middle
zbMATH Keywords: 1-backtracking Coquand game semantics
zbMATH Keywords: recursive winning strategy
MaRDI profile type: Publication
full work available at URL: j.apal.2012.05.002
OpenAlex ID: W2023376789
DOI: 10.1016/J.APAL.2012.05.002
description: scientific article; zbMATH DE number 6154063