# Löb, Feferman

**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](https://mapideas.org/i/b_rep)
- [Cubitt et al.](https://mapideas.org/i/b_cub)
- [Löb’s theorem](https://mapideas.org/i/h_lob)

Sources:
- [Wikipedia: Löb’s theorem](https://en.wikipedia.org/wiki/L%C3%B6b%27s_theorem)
- Löb, M. H. (1955). Solution of a problem of Leon Henkin. Journal of Symbolic Logic 20(2), 115–118.
- Feferman, S. (1962). Transfinite recursive progressions of axiomatic theories. Journal of Symbolic Logic 27(3), 259–316.

Source: https://mapideas.org/i/b_lob · open on the map: https://mapideas.org/#b_lob