M. H. Lob, “Solution of a Problem of Leon Henkin,” The Journal of Symbolic Logic, Vol. 20, No. 2, 1955, pp. 115-118. doi:10.2307/2266895
has been cited by the following article:
TITLE: Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms
AUTHORS: J. Foukzon, E. R. Men’kova
KEYWORDS: Löb’s Theorem; Second Godel Theorem; Consistency; Formal System; Uniform Reflection Principles; ω-Model of ZFC; Standard Model of ZFC; Inaccessible Cardinal
JOURNAL NAME: Advances in Pure Mathematics, Vol.3 No.3, May 17, 2013
ABSTRACT: In this article, a possible generalization of the L?b’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then .