Abstract
We isolate natural strengthenings of Bounded Martin’s Maximum which we call BMM∗BMM∗ and A−BMM∗,++A−BMM∗,++ (where AA is a universally Baire set of reals), and we investigate their consequences. We also show that if A−BMM∗,++A−BMM∗,++ holds true for every set of reals AA in L(R)L(R), then Woodin’s axiom (∗)(∗) holds true. We conjecture that MM++MM++ implies A−BMM∗,++A−BMM∗,++ for every AA which is universally Baire.
| Original language | English |
|---|---|
| Pages (from-to) | 333-348 |
| Number of pages | 16 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 55 |
| Issue number | 3 |
| Early online date | 22 Jul 2014 |
| DOIs | |
| Publication status | Published - 2014 |
Keywords
- BMM∗
- A−BMM∗,++
- honestly consistent statement
- Pmax