The use of trustworthy principles in a revised Hilbert's program

DOI10.1007/978-3-319-10103-3_3MaRDI QIDQ5361244zbMATH OpenOpenAlexFDO

Authors Anton Setzer

Publication date 27 September 2017

Published in Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL https://cronfa.swan.ac.uk/Record/cronfa24315

zbMATH Keywords

explicit mathematicsHilbert's programMartin-Löf type theory

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25) Other constructive mathematics (03F65)

Recommendations

• Hilbert's program. An essay on mathematical instrumentalism
• Some remarks on Hilbert's program
• scientific article; zbMATH DE number 1082863
• Relative consistency and accessible domains
• Hilbert's programs and beyond

Cited in

(1)

• An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe

This page was built for publication: The use of trustworthy principles in a revised Hilbert's program

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