On the Herbrand functional interpretation

DOI10.1002/malq.201900067OpenAlexW2992002656MaRDI QIDQ5112393

Chuangjie Xu, Paulo Oliva

Publication date: 29 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• A functional interpretation for nonstandard arithmetic
• From Nonstandard Analysis to Various Flavours of Computability Theory
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Internal set theory: A new approach to nonstandard analysis
• The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis
• Non-standard analysis

This page was built for publication: On the Herbrand functional interpretation