Nonstandard functional interpretations and categorical models

DOI10.1215/00294527-3870348zbMath1431.03081arXiv1402.0784OpenAlexW3104000888MaRDI QIDQ2013393

Amar Hadzihasanovic, Benno van den Berg

Publication date: 17 August 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

constructive mathematicsDialectica interpretationfunctional interpretationscategorical logicproof miningnonstandard arithmetic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonstandard models of arithmetic (03H15) Relative consistency and interpretations (03F25)

Related Items (4)

To be or not to be constructive, that is not the question ⋮ Stateful Realizers for Nonstandard Analysis ⋮ A note on non-classical nonstandard arithmetic ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS

This page was built for publication: Nonstandard functional interpretations and categorical models