C. Smorynski, “Handbook of Mathematical Logic,” North-Holland Publishing Company, 1977.
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 .