Consistency, optimality, and incompleteness

DOI10.1016/J.APAL.2013.06.009zbMATH Open1320.03035OpenAlexW2009038574MaRDI QIDQ490660FDOQ490660

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

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

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)

Cited In (9)

• Conservativity: a necessary property for the maximization of witness sets
• Automated Deduction – CADE-20
• From Optimality Robustness To Sufficiency and Completeness
• Title not available (Why is that?)
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• Choice, hull, continuity and fidelity
• 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)