The Martin-Harrington Theorem

Here’s a note on the proof of the Martin-Harrington theorem following the presentation in Martin’s book on determinacy. As usual, any mistakes are due to me, and none of the theorems in this note are mine. I tried to keep the note relatively self-contained, but that’s pretty much impossible.

Martin-Harrington Theorem

Here are a couple of posts that at least motivate this note and give some background on determinacy:

https://consistentreinhardtcardinal.wordpress.com/2014/09/26/basics-of-determinacy/

https://consistentreinhardtcardinal.wordpress.com/2014/10/05/analytic-determinacy-from-a-measurable/

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s