F. W. Lawvere, C. Maurer and G. C. Wraith, “Model Theory and Topoi,” Springer, Berlin, 1975.
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 .