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