[FOM] Strong Reflection Principles and Large Cardinal Axioms.

[Jaykov Foukzon]

In this article we proved so-called strong reflection principles corresponding to formal theories which has ω-models, see  Theorem 2.2.  An posible generalization of the Löb's theorem is considered.Main result is: let k be an inaccessible cardinal and H[k] is a set of all sets having hereditary size less then then  k, then ~Con(ZFC+ (V = H[k]))  http://arxiv.org/abs/1301.5340 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130515/71749471/attachment-0001.html>