All Questions
2 questions
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
6
votes
1
answer
385
views
Absoluteness for the Chang model
Often, large cardinals imply that many definable inner models and transitive sets have theories which are absolute under forcing. For example, assuming a proper class of Woodin cardinals, the theory ...
- 20.5k