Academic Journals Database
Disseminating quality controlled scientific knowledge

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

Author(s): J. Foukzon | E. R. Men’kova

Journal: Advances in Pure Mathematics
ISSN 2160-0368

Volume: 03;
Issue: 03;
Start page: 368;
Date: 2013;
Original page

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

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

Tango Rapperswil
Tango Rapperswil

RPA Switzerland

Robotic Process Automation Switzerland