User talk:Foukzon

J. Foukzon,"Generalized Lob's Theorem.Strong Reflection Principles and Large Cardinal Axioms"

Abbreviation V=Hκ is standard and means that Hκ is a model of ZFC. Such model obvious exist iff Con(ZFC+large cardinal properties).So main result obvious is: ~Con(ZFC+large cardinal properties).
 * 
 * Fall Southeastern Sectional Meeting University of Louisville, Louisville, KY October 5-6, 2013 (Saturday - Sunday) Meeting #1092
 * Fall Southeastern Sectional Meeting University of Louisville, Louisville, KY October 5-6, 2013 (Saturday - Sunday) Meeting #1092