Skip to main content
6 of 6
added 36 characters in body; deleted 526 characters in body
none
  • 21
  • 2
  • 4

I think Carl's answer has the same error I originally made--it doesn't address that both formulas have to be $\Pi_1^0$. The negation of a $\Pi_1^0$ formula is $\Sigma_1^0$.

I think the actual answer is "yes" but several edit attempts haven't got the proof right, so I'll see if I can fix it offline instead of keeping on repeatedly editing.

none
  • 21
  • 2
  • 4