VON NEUMANN’S CONSISTENCY PROOF
type: Item
instance of: scholarly article
title: VON NEUMANN’S CONSISTENCY PROOF
zbMATH Open document ID: 1415.03005
DOI: 10.1017/S1755020316000198
author: Luca Bellotti
published in: The Review of Symbolic Logic
publication date: 2017-05-31T00:00:00Z
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 6724398
zbMATH Keywords: proof theory
zbMATH Keywords: history of proof theory
zbMATH Keywords: consistency proofs
zbMATH Keywords: axiomatic systems of arithmetic
zbMATH Keywords: successor axioms
zbMATH Keywords: John von Neumann
MaRDI profile type: MaRDI publication profile
cites work: Ackermann's substitution method (remixed)
cites work: The epsilon calculus and Herbrand complexity
cites work: Q5299931
cites work: Q4384146
cites work: The computational complexity of logical theories
cites work: Epsilon substitution method for elementary analysis
cites work: The classical decision problem.
cites work: The substitution method
cites work: Q5528627
Recommended article: On the validity of von Neumann's theorem
Recommended article: Von Neumann's theorem revisited
Recommended article: Q4648945
Recommended article: Proof by consistency
Recommended article: Q4000960
Recommended article: On a Theorem of Von Neumann
Recommended article: Q4839867
Recommended article: MÜNCHHAUSEN PROVABILITY
Recommended article: Gentzen’s Consistency Proof in Context
Recommended article: Propositional consistency proofs
description: scientific article; zbMATH DE number 6724398