Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal AxiomsReport as inadecuate




Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms - Download this document for free, or read online. Document in PDF available to download.

In this article, a possible generalization of the Lob’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

Cite this paper

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.





Author: J. Foukzon, E. R. Men’kova

Source: http://www.scirp.org/



DOWNLOAD PDF




Related documents