User talk:Foukzon

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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

  • [1]
  • [2] Fall Southeastern Sectional Meeting University of Louisville, Louisville, KY October 5-6, 2013 (Saturday - Sunday) Meeting #1092
  • [3] Fall Southeastern Sectional Meeting University of Louisville, Louisville, KY October 5-6, 2013 (Saturday - Sunday) Meeting #1092

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).

Retrieved from "https://en.wikipedia.org/w/index.php?title=User_talk:Foukzon&oldid=581964752"