Functional interpretation and the existence property

DOI10.1002/MALQ.200410004zbMath1061.03063OpenAlexW2125852437MaRDI QIDQ3159413

Klaus Frovin Jørgensen

Publication date: 16 February 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410004

zbMATH Keywords

disjunction propertyintuitionistic arithmeticfunctional interpretationexistence property

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)

Related Items (1)

Proof interpretations with truth

This page was built for publication: Functional interpretation and the existence property