We use a finite-support product of Jensen-minimal forcings to define a model of set theory in which the separation theorem fails for the projective classes and , for a given .
No takes yet. Share an insight, caveat, or question.
Kanovei et al. (2020) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: