Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms

¹ Israel Institute of Technology, Haifa, Israel

² Lomonosov Moscow State University, Moscow, Russia

Abstract

In this article, a possible generalization of the L?b’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then .

KeywordsL&#246b’s TheoremSecond Godel TheoremConsistencyFormal SystemUniform Reflection Principles&lti&gtω&lt/i&gt-Model of ZFCStandard Model of ZFCInaccessible Cardinal

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
C. Smorynski, “Handbook of Mathematical Logic,” North-Holland Publishing Company, 1977.
T. Drucker, “Perspectives on the History of Mathematical Logic,” Birkhauser, Boston, 2008, p. 191.
A. Marcja and C. Toffalori, “A Guide to Classical and Modern Model Theory (Series: Trends in Logic),” Springer, Berlin, 2003, p. 371.
F. W. Lawvere, C. Maurer and G. C. Wraith, “Model Theory and Topoi,” Springer, Berlin, 1975.
D. Marker, “Model Theory: An Introduction (Graduate Texts in Mathematics),” Springer, Berlin, 2002.
J. Foukzon, “Generalized Lob’s Theorem,” 2013. http://arxiv.org/abs/1301.5340
J. Foukzon, “An Possible Generalization of the Lob’s Theorem,” AMS Sectional Meeting AMS Special Session. Spring Western Sectional Meeting University of Colorado Boulder, Boulder, 13-14 April 2013. http://www.ams.org/amsmtgs/2210_abstracts/1089-03-60.pdf
P. Lindstrom, “First Order Predicate Logic with Generalized Quantifiers,” Theoria, Vol. 32, No. 3, 1966, pp. 186-195.
P. Cohen, “Set theory and the continuum hypothesis,” Reprint of the W. A. Benjamin, Inc., New York, 1966 edition; 1966. ISBN-13: 978-0486469218
A. Kanamori, “The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings,” 2nd Edition, Springer, Berlin, 2003.

Menu

Menu

Menu

Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms

Abstract

References (11)