A note on the consistency operator

DOI10.1090/PROC/14948MaRDI QIDQ4959740zbMATH OpenOpenAlexFDO

Authors

Publication date 7 April 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.00998

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) Second- and higher-order arithmetic and fragments (03F35) Gödel numberings and issues of incompleteness (03F40)

Abstract: It is a well known empirical observation that natural axiomatic theories are pre-well-ordered by consistency strength. For any natural theory $T$, the next strongest natural theory is $T+mathsf{Con}_T$. We formulate and prove a statement to the effect that the consistency operator is the weakest natural way to uniformly extend axiomatic theories.

Recommendations

• Slow consistency
• Totality in applicative theories
• Reflection ranks and ordinal analysis
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• Consistency and the theory of truth

Cites work

• Degrees of Unsolvability. (AM-55)
• scientific article; zbMATH DE number 4108753 (Why is no real title available?)
• Iterated local reflection versus iterated consistency
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• Slow consistency

Cited in

(6)

• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• Note on universal conditional consistency
• Evitable iterates of the consistency operator
• On consistent operators and reflexivity
• On the hierarchy of natural theories
• Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength

This page was built for publication: A note on the consistency operator

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