Gödel's functional interpretation and its use in current mathematics

MaRDI QIDQ2856500zbMATH OpenFDO

Authors Ulrich Kohlenbach

Publication date 29 October 2013

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Cited in

(3)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Gödel functional interpretation and weak compactness
• On computational properties of Cauchy problems generated by accretive operators

This page was built for publication: Gödel's functional interpretation and its use in current mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856500)