All Questions
1 question with no upvoted or accepted answers
6
votes
0
answers
180
views
$Δ^1_3$ reals in transitive models
Every real number is $Δ^1_2$ in some $ω$-model of ZFC\P. I am looking for analogous statements for $Δ^1_3$ definability and transitive models, where the situation is more subtle.
What is the ...
- 7,545