Abstract
We produce a forcing extension of the constructible universe L in which every universally measurable set of reals is ∆12, partially answering question CG from ∼ David Fremlin’s problem list. The analogous result for category holds in the same model.
| Original language | English |
|---|---|
| Pages (from-to) | 97-120 |
| Number of pages | 24 |
| Journal | Fundamenta Mathematicae |
| Volume | 266 |
| Issue number | 2 |
| DOIs | |
| State | Published - 2024 |
Bibliographical note
Publisher Copyright:© Instytut Matematyczny PAN, 2024.
Keywords
- forcing
- universally measurable sets