The Consistency of Arithmetic

DOI10.26686/AJL.V18I5.6906zbMATH Open1487.03068OpenAlexW4206620841MaRDI QIDQ5019125

Robert K. Meyer

Publication date: 29 December 2021

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v18i5.6906

zbMATH Keywords

consistencyarithmeticPeano arithmeticGödel's second incompleteness theoremrelevant arithmeticR\# arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

Title not available (Why is that?) ⋮ Explaining the Gentzen-Takeuti reduction steps: A second-order system

This page was built for publication: The Consistency of Arithmetic

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