Academic Journals Database
Disseminating quality controlled scientific knowledge

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

ADD TO MY LIST
 
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

ABSTRACT
In this article, a possible generalization of the L?b’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then
Why do you need a reservation system?      Save time & money - Smart Internet Solutions