We will present a proof of a result of Martin that provided a measurable cardinal exists, all analytic integer games are determined. We will recall all of the necessary definitions and the several preliminary facts we'll use in the proof. If time allows, and if there is significant interest, we will also present an outline of a proof that analytic determinacy is not a theorem of ZFC alone.
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now