scientific article; zbMATH DE number 2006631

MaRDI QIDQ4436027zbMATH OpenFDO

Authors Ulrich Berger

Publication date 23 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2183/21830068.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Recursive functions and relations, subrecursive hierarchies (03D20) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 432701
• Extraction and verification of programs by analysis of formal proofs
• Climbing mount \(\varepsilon_{0}\)
• Takeuti's well-ordering proof: an accessible reconstruction
• scientific article; zbMATH DE number 512774

Cited in

(6)

• Type-theoretic approaches to ordinals
• Transfinite update procedures for predicative systems of analysis
• scientific article; zbMATH DE number 432701 (Why is no real title available?)
• scientific article; zbMATH DE number 782031 (Why is no real title available?)
• scientific article; zbMATH DE number 841092 (Why is no real title available?)
• Climbing mount \(\varepsilon_{0}\)

This page was built for publication:

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