Skip to main content

All Questions

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4 votes
0 answers
225 views

Complexity of $Σ_n$ theory of $H(ω_2)$ under MM$^{++}$

Complexity of $Σ_n$ theory of $H(ω_2)$ under MM$^{++}$ Under Woodin's $\mathbb{P}_\text{max}$ axiom (which is implied by MM$^{++}$), what is the complexity of the $Σ_n$ theory of $H(ω_2)$? Same ...
Dmytro Taranovsky's user avatar