On Kalmar's consistency proof and a generalization of the notion of ω-consistency

DOI10.1007/BF02280806zbMath0324.02021OpenAlexW1997536798MaRDI QIDQ4087150

George Boolos

Publication date: 1975

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137896

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)

Cites Work

• The ω-consistency of number theory via Herbrand's theorem

This page was built for publication: On Kalmar's consistency proof and a generalization of the notion of ω-consistency