reading

Martin Löb (1955), and Feferman on progressions of theories

Self-trust in provability, and the ladder of stronger and stronger systems.

Connects to

• the replies
• Cubitt et al.
• Löb’s theorem

Sources

1. Wikipedia: Löb’s theorem
2. Löb, M. H. (1955). Solution of a problem of Leon Henkin. Journal of Symbolic Logic 20(2), 115–118.
3. Feferman, S. (1962). Transfinite recursive progressions of axiomatic theories. Journal of Symbolic Logic 27(3), 259–316.