Consistency, optimality, and incompleteness

DOI10.1016/J.APAL.2013.06.009MaRDI QIDQ490660zbMATH OpenOpenAlexFDO

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

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

consistencyoptimal algorithmsfirst-order arithmeticGödel's second incompleteness theorem

Mathematics Subject Classification ID

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

Recommendations

• Consistency and optimality
• Propositional proof systems, the consistency of first order theories and the complexity of computations
• Complexity, decidability and completeness
• scientific article; zbMATH DE number 806745
• scientific article; zbMATH DE number 1304339

Cited in

(9)

• Conservativity: a necessary property for the maximization of witness sets
• Automated Deduction – CADE-20
• From Optimality Robustness To Sufficiency and Completeness
• scientific article; zbMATH DE number 7585714 (Why is no real title available?)
• Choice, hull, continuity and fidelity
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• Propositional proof systems and fast consistency provers
• Inconsistency and Incompleteness, Revisited
• Consistency and optimality

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

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