The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

DOI10.1007/978-1-4020-8926-8_17zbMath1172.03031OpenAlexW2029188589MaRDI QIDQ3613313

Michael Rathjen

Publication date: 12 March 2009

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_17

zbMATH Keywords

Martin-Löf type theoryconstructive Hilbert program

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items

Proof Theory of Constructive Systems: Inductive Types and Univalence