All Questions
1 question
5
votes
1
answer
207
views
Examples of independent $\Sigma_4^1$ statements
As in the title, I'm looking for examples of $\Sigma^1_4$ (preferably complete) sentences which are independent from ZFC in both ways, namely given a model $V$ we can extend it to $V'$ where such a ...
- 21.2k