Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms - Advances in Pure Mathematics

APM > Vol.3 No.3, May 2013

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

HTML XML

Download as PDF (Size: 292KB) PP. 368-373

DOI: 10.4236/apm.2013.33053 3,343 Downloads 5,936 Views Citations

Author(s)

J. Foukzon, E. R. Men’kova

Affiliation(s)

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

KEYWORDS

Löb’s Theorem; Second Godel Theorem; Consistency; Formal System; Uniform Reflection Principles; ω-Model of ZFC; Standard Model of ZFC; Inaccessible Cardinal

Share and Cite:

J. Foukzon and E. Men’kova, "Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms," Advances in Pure Mathematics, Vol. 3 No. 3, 2013, pp. 368-373. doi: 10.4236/apm.2013.33053.

Journals Menu

Follow SCIRP

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.

Free SCIRP Newsletters

Add your e-mail address to receive free newsletters from SCIRP.

Top

Journals Menu

Home

About SCIRP

Service

Policies