scientific article; zbMATH DE number 6109843

DOI10.4230/LIPIcs.CSL.2012.335zbMath1252.03134MaRDI QIDQ4649556

Takanori Hida

Publication date: 22 November 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

axiom of determinacyrealizability interpretationCoquand's game semanticsGale-Stewart's theoremsyntactic continuity

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Determinacy principles (03E60)

Related Items (1)

Lorenzen and Constructive Mathematics

This page was built for publication: