A note on the consistency operator

Walsh, James

doi:10.1090/proc/14948

A note on the consistency operator
HTML articles powered by AMS MathViewer

by James Walsh

Proc. Amer. Math. Soc. 148 (2020), 2645-2654

DOI: https://doi.org/10.1090/proc/14948

Published electronically: February 4, 2020

PDF | Request permission

Abstract:

It is a well-known empirical observation that natural axiomatic theories are pre-well-ordered by proof-theoretic 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.

References

Lev Beklemishev, Iterated local reflection versus iterated consistency, Ann. Pure Appl. Logic 75 (1995), no. 1-2, 25–48. Proof theory, provability logic, and computation (Berne, 1994). MR 1357468, DOI 10.1016/0168-0072(95)00007-4
Sy-David Friedman, Michael Rathjen, and Andreas Weiermann, Slow consistency, Ann. Pure Appl. Logic 164 (2013), no. 3, 382–393. MR 3001552, DOI 10.1016/j.apal.2012.11.009
Antonio Montalbán and James Walsh, On the inevitability of the consistency operator, J. Symb. Log. 84 (2019), no. 1, 205–225. MR 3922791, DOI 10.1017/jsl.2018.65
Gerald E. Sacks, Degrees of unsolvability, Princeton University Press, Princeton, N.J., 1963. MR 0186554
Theodore A. Slaman and John R. Steel, Definable functions on degrees, Cabal Seminar 81–85, Lecture Notes in Math., vol. 1333, Springer, Berlin, 1988, pp. 37–55. MR 960895, DOI 10.1007/BFb0084969