Abstract
In ZFC, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every binary relation R ∈ L(R) on R with all sections Δ11 (Σ11 or Π11) and every σ-ideal I on R so that the associated forcing PI of I+ Δ11 subsets is proper, there exists some I+ Δ11 set C so that R ∩ (C × R) is Δ11 (Σ11 or Π11, respectively).
Original language | English |
---|---|
Pages (from-to) | 833-847 |
Number of pages | 15 |
Journal | Proceedings of the American Mathematical Society |
Volume | 150 |
Issue number | 2 |
DOIs | |
State | Published - 2022 |
Bibliographical note
Publisher Copyright:2021 American Mathematical Society