[FOM] Reflection principles.

Jaykov Foukzon jaykovfoukzon at list.ru
Wed Mar 6 17:34:35 EST 2013


Let con(ZFC) be a sentence in ZFC asserting that ZFC has an omega-model M. Let A_M be an wff over M. Let S be the theory ZFC+con(ZFC). Is the reflection for S: Bew_{S}(A_M) --> A_M is satisfied?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130307/4db7ffac/attachment.html>


More information about the FOM mailing list