Access to this thesis is limited to Boise State University students and employees or persons using Boise State University facilities.
Off-campus Boise State University users: To download Boise State University access-only theses/dissertations, please select the "Off-Campus Download" button and enter your Boise State username and password when prompted.
Publication Date
5-2014
Date of Final Oral Examination (Defense)
3-14-2014
Type of Culminating Activity
Thesis - Boise State University Access Only
Degree Title
Master of Science in Mathematics
Department
Mathematics
Supervisory Committee Chair
Andres E. Caicedo, Ph.D.
Abstract
The study of games, and the determinacy thereof, has become incredibly important in modern day set theory. Modern work on the inner model program grew out of the wonderful connection between determinacy, descriptive set theory, large cardinals, and the structure of L-like models that can accommodate these large cardinals. In this document, we seek to give an exposition of the Martin-Harrington theorem, which can be seen as the beginning of this program. The theorem itself states that for a real x, II11 (x) determinacy is equivalent to the existence of x#. To reduce prerequisites needed to understand the result, our presentation of sharps is classical rather than in terms of premise.
This theorem only occupies the last twenty or so pages of this document, while the rest of this document is spent giving content to the above statement. In particular, we work through Martin's inductive proof of Borel determinacy, attempt to exhibit the power of determinacy hypotheses, and give a glimpse of the connection between descriptive set theory and constructibility. Through all of this, one can hopefully see the connecting thread of determinacy leading to the beautiful theorem of Martin and Harrington.
Recommended Citation
Ahmed, Shehzad, "Pi-1-1-determinacy and Sharps" (2014). Boise State University Theses and Dissertations. 812.
https://scholarworks.boisestate.edu/td/812