P. Lindstrom, “First Order Predicate Logic with Generalized Quantifiers,” Theoria, Vol. 32, No. 3, 1966, pp. 186-195.
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 .