6
$\begingroup$

Hello everybody,

I'm searching for references for the following independence assertions:

ZFC + $MA_{\aleph_{1}}$ $\not\vdash$ "Analytic determinacy"

ZFC + $MA_{\aleph_{1}}$ $\not\vdash$ $\neg$ ("Analytic determinacy")

i.e. $MA_{\aleph_{1}}$ does not settle any determinacy question. The question extends also to Projective determinacy.

Also I'd need references for the reversed independence question, i.e. Analytic determinacy (and Projective det. ) does not settle cardinality issues, so for instance.

ZFC + Analitic-Determinacy $\not\vdash$ CH

ZFC + Analitic-Determinacy $\not\vdash$ $\neg$CH

but also

ZFC + Analitic-Determinacy + "$2^{\aleph_{0}}> \aleph_{1}$" $\not\vdash$ $MA_{\aleph_{1}}$

and

ZFC + Analitic-Determinacy + "$2^{\aleph_{0}}> \aleph_{1}$" $\not\vdash$ $\neg MA_{\aleph_{1}}$

where by $MA_{\aleph_{1}}$ I mean the standard instance of Martin's Axiom at $\aleph_{1}$ (which implies $\neg CH$).

Please note that I have at my hands Fremlin's book "Consequences of Martin's Axiom" but it is very hard to read, and in the summary I couldn't find even the work "analytical determinacy" and just a reference to "determinacy". I also have Jech's Set theory. However I need these references for my PhD thesis (just to mention these facts) which i'm writing right now, and I'd rather not invest too much time searching in books at this stage. So please, if you can, provide precise references.

THank you very much,

bye

matteo

Improve this question
$\endgroup$

1 Answer 1

Reset to default
13
$\begingroup$

ZFC plus $\text{MA}_{\aleph_1}$ is consistent relative to ZFC, while analytic determinacy has a little bit of large cardinal strength, namely the existence of sharps of reals. So ZFC+MA cannot prove analytic determinacy. On the other hand, analytic determinacy follows from the existence of a measurable cardinal, and the usual way of forcing $\text{MA}_{\aleph_1}$ preserves measurable cardinals (being a small forcing). So ZFC+$\text{MA}_{\aleph_1}$ can't refute analytic determinacy either. Similarly, since you can force either of CH or not-CH with a small forcing, hence preserving measurable cardinals, analytic determinacy cannot decide CH.

Improve this answer
$\endgroup$
5
  • $\begingroup$ Thanks Andreas for the good answer. It contains very relevant informations. Are you aware of any textbook or (survey level, i guess) paper which explicitly states the result and goes into some detail? I'm my thesis i use both $MA_{\aleph_{1}}$ and (some) determinacy axioms (below or equal to PD), but I just use their consequences and don't go (even in the introduction) in such things like forcing, small forcing, sharps or large cardinals. So it would be a bit difficult to give the desired result without actually have to design an entire new section in the introduction. thanks again! $\endgroup$
    – user11618
    Commented May 3, 2011 at 16:15
  • $\begingroup$ I would expect that everything I cited is in Jech's "Set Theory" (but I'm away from home so I can't just check). You probably won't need a whole new section to cover this; something like what I wrote, decorated with a few pointers to Jech should do the job. $\endgroup$
    – Andreas Blass
    Commented May 3, 2011 at 16:42
  • 1
    $\begingroup$ 10.1K ! Superpowers! Congratulations. :-) $\endgroup$
    – Andrés E. Caicedo
    Commented May 3, 2011 at 16:52
  • 2
    $\begingroup$ Let me add that there are well known strengthenings of MA that imply analytic determinacy and much more; for example, PFA (the proper forcing axiom). On the other hand, no amount of determinacy or large cardinals suffices to decide CH or to imply MA. $\endgroup$
    – Andrés E. Caicedo
    Commented May 3, 2011 at 16:56
  • 3
    $\begingroup$ @Andres: Thanks. So far, the only effect of superpowers was that MO showed me an answer that had been deleted by its author (because it was wrong). It's like having X-ray vision to look into people's trash cans. $\endgroup$
    – Andreas Blass
    Commented May 4, 2011 at 13:33

You must log in to answer this question.