Consistency, optimality, and incompleteness

DOI10.1016/j.apal.2013.06.009zbMath1320.03035OpenAlexW2009038574MaRDI QIDQ490660

Yijia Chen, Moritz Müller, Jörg Flum

Publication date: 27 August 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.06.009

zbMATH Keywords

consistencyfirst-order arithmeticoptimal algorithmsGödel's second incompleteness theorem

Mathematics Subject Classification ID

Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Consistency, optimality, and incompleteness