scientific article; zbMATH DE number 5788436

MaRDI QIDQ3589379zbMATH OpenFDO

Authors Toshiyasu Arai

Publication date 20 September 2010

zbMATH Keywords

consistency proofsfirst-order arithmeticHilbert's problemslarge cardinalsproof theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 4072966
• Remarks on Hilbert’s Proof Theory
• Hilbert programme and applied proof theory
• Proof Analysis
• scientific article; zbMATH DE number 2078129
• A note on a proof of Hilbert's second ε-theorem
• scientific article; zbMATH DE number 1101523
• From Hilbert proofs to consecutions and back
• scientific article; zbMATH DE number 1867332
• Proof theory. 2nd ed

Cited in

(5)

• Hilbert's Second Problem (the consistency of arithmetic)
• Proof Analysis
• Definition of the concept of natural numbers and its existence theorem. Solution of Hilbert's second problem
• scientific article; zbMATH DE number 2078129 (Why is no real title available?)
• On the motives for proof theory

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 Q3589379)