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

zbMATH Open1408.03035MaRDI QIDQ2856500FDOQ2856500

Authors: Ulrich Kohlenbach 

Publication date: 29 October 2013

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Cited In (3)

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

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)