scientific article; zbMATH DE number 6108194

zbMATH Open1267.03002MaRDI QIDQ4648945FDOQ4648945

Annika Siders

Publication date: 16 November 2012

Title of this publication is not available (Why is that?)

zbMATH Keywords

transfinite inductionHilbert's programhistory of proof theoryconsistency of Peano arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30)

Cited In (12)

• MÜNCHHAUSEN PROVABILITY
• Hilbert's Second Problem (the consistency of arithmetic)
• A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
• Theodorus’ proofs of incommensurabilities with Gnomons
• Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
• Gentzen's second consistency proof and strong cut-elimination
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• Validating Brouwer's continuity principle for numbers using named exceptions
• EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS
• Herbrand consistency of some arithmetical theories
• VON NEUMANN’S CONSISTENCY PROOF
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC

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