Return to Revisions

2 of 7

added 6 characters in body

edited Mar 6, 2013 at 21:45

Reflection principles

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

lo.logic

asked Mar 6, 2013 at 21:37

Jaykov Foukzon