Techniques from mathematical logic can be used to measure the complexity of mathematical concepts. Areas of mathematics with physical applications tend to appear in the low levels of the corresponding complexity hierarchy. Passing to higher levels of complexity enables mathematicians to make connections between different areas of mathematics, and to develop productive general theories. There is a corresponding division of the universe of mathematics into an absolute part, where natural questions tend to be resolved by the standard axioms, and a more abstract part where extensions of the standard axiom system are needed to resolve many fundamental questions. The main focus of PI's research is the relationship between these parts. The technical machinery involved in this project includes Cohen's forcing technique, axioms asserting the existence of winning strategies in infinite games, and axioms asserting the existence of infinite objects whose existence cannot be proved from the standard axioms for mathematics. These techniques originate in set theory, which serves as the most commonly accepted foundations for mathematics. The PI plans to work on a related collection of projects involving the complexity of sets of real numbers. Two of these projects aim to extend the work published in two of his recent books. The first of these is another book exposing part of W. Hugh Woodin's work on his axiom AD^+. The first part of this book is to be on methods for producing maxim