scientific article; zbMATH DE number 7340563
From MaRDI portal
Publication:4986736
zbMath1469.03164arXiv1210.3117MaRDI QIDQ4986736
No author found.
Publication date: 27 April 2021
Full work available at URL: https://arxiv.org/abs/1210.3117
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)
Related Items (4)
A universal algorithm for Krull's theorem ⋮ Well Quasi-orders and the Functional Interpretation ⋮ Higman’s Lemma and Its Computational Content ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs
This page was built for publication:
