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).
Start a discussion with Foukzon
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. Start a new discussion to connect and collaborate with Foukzon. What you say here will be public for others to see.
