The Use of Trustworthy Principles in a Revised Hilbert’s Program

DOI10.1007/978-3-319-10103-3_3zbMath1380.03066OpenAlexW2192333558MaRDI QIDQ5361244

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

Martin-Löf type theoryexplicit mathematicsHilbert's program

Mathematics Subject Classification ID

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

Related Items (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