WHEN A RELATION with ALL BOREL SECTIONS WILL BE BOREL SOMEWHERE?

William Chan, Menachem Magidor

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

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 Δ1111 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 Δ1111 or Π11, respectively).

Original languageEnglish
Pages (from-to)833-847
Number of pages15
JournalProceedings of the American Mathematical Society
Volume150
Issue number2
DOIs
StatePublished - 2022

Bibliographical note

Publisher Copyright:
2021 American Mathematical Society

Fingerprint

Dive into the research topics of 'WHEN A RELATION with ALL BOREL SECTIONS WILL BE BOREL SOMEWHERE?'. Together they form a unique fingerprint.

Cite this