Skip to main content
SpringerLink
Log in

Structural Consequences of AD

  • Chapter
  • First Online:
Book cover Handbook of Set Theory

Abstract

In this chapter we survey recent advances in descriptive set theory, starting (roughly) from where Moschovakis’ book (1980) ends. Our survey is not intended to be complete, but focuses mainly on the structural consequences of determinacy for the model L(ℝ), including the important case of the projective sets. By “structural” we are referring to the combinatorial theory of the pointclasses (for example, the scale property which in some sense describes the structure of the set) as well as the cardinal structure up to the natural ordinal associated with these pointclasses. This might include determining their cofinalities, partition properties, and so forth.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 709.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 899.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 899.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Howard S. Becker. Determinacy implies that ℵ 2 is supercompact. Israel Journal of Mathematics, 40(3–4):229–234, 1981.

    Article  MATH  MathSciNet  Google Scholar 

  2. Howard S. Becker and Steve Jackson. Supercompactness within the projective hierarchy. The Journal of Symbolic Logic, 66(2):658–672, 2001.

    Article  MATH  MathSciNet  Google Scholar 

  3. Howard S. Becker and Alexander S. Kechris. Sets of ordinals constructible from trees and the third Victoria Delfino problem. In James E. Baumgartner, Donald A. Martin, and Saharon Shelah, editors, Axiomatic Set Theory (Boulder, CO, 1983), volume 31 of Contemporary Mathematics, pages 13–29. American Mathematical Society, Providence, 1984.

    Google Scholar 

  4. Harvey Friedman. Higher set theory and mathematical practice. Annals of Mathematical Logic, 2(3):325–357, 1971.

    Article  MATH  Google Scholar 

  5. Leo A. Harrington and Alexander S. Kechris. On the determinacy of games on ordinals. Annals of Mathematical Logic, 20(2):109–154, 1981.

    Article  MATH  MathSciNet  Google Scholar 

  6. Steve Jackson. Circulated manuscripts.

    Google Scholar 

  7. Steve Jackson. Determinacy and the projective hierarchy. To appear.

    Google Scholar 

  8. Steve Jackson. AD and the projective ordinals. In Alexander S. Kechris, Donald A. Martin, and John R. Steel, editors, Cabal Seminar 81–85, volume 1333 of Lecture Notes in Mathematics, pages 117–220. Springer, Berlin, 1988.

    Chapter  Google Scholar 

  9. Steve Jackson. A new proof of the strong partition relation on ω 1. Transactions of the American Mathematical Society, 320(2):737–745, 1990.

    Article  MATH  MathSciNet  Google Scholar 

  10. Steve Jackson. Admissible Suslin cardinals in L(ℝ). The Journal of Symbolic Logic, 56(1):260–275, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  11. Steve Jackson. A computation of \({\boldsymbol{\delta}}^{1}_{5}\) . Memoirs of the American Mathematical Society, 140(670):1–94, 1999.

    Google Scholar 

  12. Steve Jackson. The weak square property. The Journal of Symbolic Logic, 66(2):640–657, 2001.

    Article  MATH  MathSciNet  Google Scholar 

  13. Steve Jackson and F. Khafizov. Descriptions and cardinals below \({\boldsymbol{\delta}}^{1}_{5}\) . Preprint.

    Google Scholar 

  14. Steve Jackson and Donald A. Martin. Pointclasses and well-ordered unions. In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 79–81, volume 1019 of Lecture Notes in Mathematics, pages 56–66. Springer, Berlin, 1983.

    Chapter  Google Scholar 

  15. Alexander S. Kechris. Countable ordinals and the analytical hierarchy I. Pacific Journal of Mathematics, 60(1):223–227, 1975.

    MATH  MathSciNet  Google Scholar 

  16. Alexander S. Kechris. AD and the projective ordinals. In Alexander S. Kechris and Yiannis N. Moschovakis, editors, Cabal Seminar 76–77, volume 689 of Lecture Notes in Mathematics, pages 91–132. Springer, Berlin, 1978.

    Chapter  Google Scholar 

  17. Alexander S. Kechris. Homogeneous trees and projective scales. In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 77–79, volume 839 of Lecture Notes in Mathematics, pages 33–73. Springer, Berlin, 1981.

    Chapter  Google Scholar 

  18. Alexander S. Kechris. Classical Descriptive Set Theory, volume 156 of Graduate Texts in Mathematics. Springer, Berlin, 1995.

    MATH  Google Scholar 

  19. Alexander S. Kechris and Robert M. Solovay. On the relative strength of determinacy hypotheses. Transactions of the American Mathematical Society, 290(1):179–211, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  20. Alexander S. Kechris and W. Hugh Woodin. Generic codes for uncountable ordinals, partition properties and elementary embeddings. Circulated manuscript.

    Google Scholar 

  21. Alexander S. Kechris, Robert M. Solovay, and John R. Steel. The axiom of determinacy and the prewellordering property. In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 77–79, volume 839 of Lecture Notes in Mathematics, pages 101–125. Springer, Berlin, 1981.

    Chapter  Google Scholar 

  22. Alexander S. Kechris, Yiannis N. Moschovakis, W. Hugh Woodin, and Eugene M. Kleinberg. The axiom of determinacy, partition properties, and non-singular measures. In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 77–79, volume 839 of Lecture Notes in Mathematics, pages 75–99. Springer, Berlin, 1981.

    Chapter  Google Scholar 

  23. Donald A. Martin. AD and the normal measures on \({\boldsymbol{\delta}}^{1}_{3}\) . Circulated manuscript.

    Google Scholar 

  24. Donald A. Martin. Notes on the next Suslin cardinal. Circulated manuscript.

    Google Scholar 

  25. Donald A. Martin. Borel determinacy. Annals of Mathematics, 102(2):363–371, 1975.

    Article  MathSciNet  Google Scholar 

  26. Donald A. Martin. A purely inductive proof of Borel determinacy. In Recursion Theory (Ithaca, NY, 1982), volume 42 of Proceedings of Symposia in Pure Mathematics, pages 303–308. American Mathematical Society, Providence, 1985.

    Google Scholar 

  27. Donald A. Martin and John R. Steel. The extent of scales in L(ℝ). In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 79–81, volume 1019 of Lecture Notes in Mathematics, pages 86–96. Springer, Berlin, 1983.

    Chapter  Google Scholar 

  28. Donald A. Martin and John R. Steel. A proof of projective determinacy. Journal of the American Mathematical Society, 2(1):71–125, 1989.

    Article  MATH  MathSciNet  Google Scholar 

  29. Donald A. Martin and John R. Steel. The tree of a Moschovakis scale is homogeneous. In Alexander S. Kechris, Benedikt Löwe, and John R. Steel, editors, Games, Scales, and Suslin Cardinals: The Cabal Seminar, Vol. I, volume 31 of Lecture Notes in Logic, pages 404–420. Cambridge University Press, Cambridge, 2008.

    Google Scholar 

  30. Donald A. Martin and W. Hugh Woodin. Weakly homogeneous trees. In Alexander S. Kechris, Benedikt Löwe, and John R. Steel, editors, Games, Scales, and Suslin Cardinals: The Cabal Seminar, Vol. I, volume 31 of Lecture Notes in Logic, pages 421–438. Cambridge University Press, Cambridge, 2008.

    Google Scholar 

  31. Yiannis N. Moschovakis. Descriptive Set Theory, volume 100 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1980.

    MATH  Google Scholar 

  32. Yiannis N. Moschovakis. Ordinal games and playful models. In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 77–79, volume 839 of Lecture Notes in Mathematics, pages 169–201. Springer, Berlin, 1981.

    Chapter  Google Scholar 

  33. Robert M. Solovay. A \({\boldsymbol{\Delta}}^{1}_{3}\) coding of the subsets of ω ω . In Alexander S. Kechris and Yiannis N. Moschovakis, editors, Cabal Seminar 76–77, volume 689 of Lecture Notes in Mathematics, pages 133–150. Springer, Berlin, 1978.

    Chapter  Google Scholar 

  34. Robert M. Solovay. The independence of DC from AD. In Alexander S. Kechris and Yiannis N. Moschovakis, editors, Cabal Seminar 76–77, volume 689 of Lecture Notes in Mathematics, pages 171–184. Springer, Berlin, 1978.

    Chapter  Google Scholar 

  35. John R. Steel. Closure properties of pointclasses. In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 77–79, volume 839 of Lecture Notes in Mathematics, pages 147–163. Springer, Berlin, 1981.

    Chapter  Google Scholar 

  36. John R. Steel. Determinateness and the separation property. The Journal of Symbolic Logic, 46(1):41–44, 1981.

    Article  MATH  MathSciNet  Google Scholar 

  37. John R. Steel. Scales in L(ℝ). In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 79–81, volume 1019 of Lecture Notes in Mathematics, pages 107–156. Springer, Berlin, 1983.

    Chapter  Google Scholar 

  38. John R. Steel. \({\text{HOD}}^{L(\mathbb{R})}\) is a core model below Θ. The Bulletin of Symbolic Logic, 1(1):75–84, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  39. Robert Van Wesep. Wadge degrees and descriptive set theory. In Alexander S. Kechris and Yiannis N. Moschovakis, editors, Cabal Seminar 76–77, volume 689 of Lecture Notes in Mathematics, pages 151–170. Springer, Berlin, 1978.

    Chapter  Google Scholar 

  40. W. Hugh Woodin. AD and the uniqueness of the supercompact measures on \({{\mathcal{P}}}_{\omega_{1}}(\lambda)\) . In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 79–81, volume 1019 of Lecture Notes in Mathematics, pages 67–71. Springer, Berlin, 1983.

    Chapter  Google Scholar 

  41. W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences USA, 85(18):6587–6591, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  42. W. Hugh Woodin. The axiom of determinacy, forcing axioms, and the nonstationary ideal, volume 1 of de Gruyter Series in Logic and its Applications. de Gruyter, Berlin, 1999.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of North Texas, Denton, TX, 76203, USA

    Steve Jackson

Authors
  1. Steve Jackson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Steve Jackson .

Editor information

Editors and Affiliations

  1. School of Physical Sciences, University of California, Irvine, Irvine, 92697-3875, U.S.A.

    Matthew Foreman

  2. Dept. Manufacturing Engineering, Boston University, St. Mary's St. 15, Boston, 02215, U.S.A.

    Akihiro Kanamori

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Jackson, S. (2010). Structural Consequences of AD. In: Foreman, M., Kanamori, A. (eds) Handbook of Set Theory. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-5764-9_22

Download citation

Publish with us

Policies and ethics

Search

Navigation