An extensional Kleene realizability semantics for the Minimalist Foundation

DOI10.4230/LIPIcs.TYPES.2014.162zbMath1434.03151arXiv1502.02864OpenAlexW2964154025MaRDI QIDQ5277976

Samuele Maschio, Maria Emilia Maietti

Publication date: 12 July 2017

Full work available at URL: https://arxiv.org/abs/1502.02864

zbMATH Keywords

realizabilitytype theoryformal Church thesis

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Type theory (03B38)

Related Items

Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?, On Choice Rules in Dependent Type Theory, A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS, A categorical reading of the numerical existence property in constructive foundations