Dialectica interpretation of well-founded induction
From MaRDI portal
Publication:3506320
DOI10.1002/malq.200710045zbMath1144.03035OpenAlexW2011158468MaRDI QIDQ3506320
Publication date: 12 June 2008
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710045
Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Related Items
Cites Work