User talk:Foukzon
Appearance
J. Foukzon,"Generalized Lob's Theorem.Strong Reflection Principles and Large Cardinal Axioms"
October 5-6, 2013 (Saturday - Sunday) Meeting #1092 Abbreviation V=Hκ is standard and means that Hκ is a model of ZFC. So main result obvious is: ~Con(ZFC+large cardinal properties).