A. Marcja and C. Toffalori, “A Guide to Classical and Modern Model Theory (Series: Trends in Logic),” Springer, Berlin, 2003, p. 371.
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 .