Skip to main content Accessibility help
×
Home
Hostname: page-component-5c569c448b-8lphq Total loading time: 0.619 Render date: 2022-07-05T06:14:27.528Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "useRatesEcommerce": false, "useNewApi": true } hasContentIssue true

Ordinal definability in models of determinacy. Introduction to Part V

from PART V - HOD AND ITS LOCAL VERSIONS

Published online by Cambridge University Press:  05 December 2015

John R. Steel
Affiliation:
University of California, Berkeley
Alexander S. Kechris
Affiliation:
California Institute of Technology
Benedikt Löwe
Affiliation:
Universiteit van Amsterdam
John R. Steel
Affiliation:
University of California, Berkeley
Get access

Summary

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Chapter
Information
Ordinal Definability and Recursion Theory
The Cabal Seminar, Volume III
, pp. 3 - 48
Publisher: Cambridge University Press
Print publication year: 2016

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[Bal86] Stewart, BaldwinBetween strong and superstrong, The Journal of Symbolic Logic, vol. 51 (1986), no. 3, pp. 547–559.Google Scholar
[BMS84] James, Baumgartner, Donald A., Martin, and Saharon, ShelahAxiomatic set theory. Proceedings of the AMS-IMS-SIAM joint summer research conference held in Boulder, Colo., June 19–25, 1983, Contemporary Mathematics, vol. 31, Amer. Math. Soc., Providence, RI, 1984.Google Scholar
[Bec78] Howard S., BeckerPartially playful universes, this volume, originally published in Kechris and Moschovakis [Cabal i], pp. 55–90.
[Bec80] Howard S., BeckerThin collections of sets of projective ordinals and analogs of L, Annals of Mathematical Logic, vol. 19 (1980), pp. 205–241.Google Scholar
[Bec81] Howard S., BeckerAD and the supercompactness of ℵ1, The Journal of Symbolic Logic, vol. 46 (1981), pp. 822–841.Google Scholar
[BK84] Howard S., Becker and Alexander S., KechrisSets of ordinals constructible from trees and the third Victoria Delfino problem, in Baumgartner et al. [BMS84], pp. 13–29.
[BM81] Howard S., Becker and Yiannis N., MoschovakisMeasurable cardinals in playful models, this volume, originally published in Kechris et al. [Cabal ii], pp. 203–214.
[Cra85] Mark, CrawshawExplicit formulas for the jump ofQ-degrees, Ph.D. thesis, California Institute of Technology, 1985.Google Scholar
[Dod80] Anthony, DoddStrong cardinals, unpublished, 1980.
[DuB90] Derrick Albert, DuBoseThe equivalence of determinancy and iterated sharps, The Journal of Symbolic Logic, vol. 55 (1990), no. 2, pp. 502–525.Google Scholar
[FMS88] Matthew, Foreman, Menachem, Magidor, and Saharon, ShelahMartin's maximum, saturated ideals and nonregular ultrafilters. I, Annals of Mathematics, vol. 127 (1988), no. 1, pp. 1–47.Google Scholar
[Gre78] John Townsend, GreenDeterminacy and the existence of large measurable cardinals, Ph.D. thesis, University of California, Berkeley, 1978.Google Scholar
[Har78] Leo A., HarringtonAnalytic determinacy and 0#, The Journal of Symbolic Logic, vol. 43 (1978), no. 4, pp. 685–693.Google Scholar
[HK81] Leo A., Harrington and Alexander S., KechrisOn the determinacy of games on ordinals, Annals of Mathematical Logic, vol. 20 (1981), pp. 109–154.Google Scholar
[HS79] Leo A., Harrington and Ramez-Labib, SamiEquivalence relations, projective and beyond, Logic Colloquium ’78 (Mons, 1978), Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam, 1979, pp. 247–264.Google Scholar
[Har66] Joseph Arthur, HarrisonSome applications of recursive pseudo-well orderings, Ph.D. thesis, Stanford University, 1966.Google Scholar
[Hjo96] Gregory, HjorthVariations of the Martin-Solovay tree, The Journal of Symbolic Logic, vol. 61 (1996), no. 1, pp. 40–51.Google Scholar
[Hjo01] Gregory, HjorthA boundedness lemma for iterations, The Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 1058–1072.Google Scholar
[Jac08] Stephen, JacksonSuslin cardinals, partition properties, homogeneity. Introduction to Part II, in Kechris et al. [Cabal I], pp. 273–313.
[KF10] Akihiro, Kanamori and Matthew, ForemanHandbook of set theory, Springer, 2010.
[Kec75A] Alexander S., KechrisCountable ordinals and the analytical hierarchy. I, Pacific Journal of Mathematics, vol. 60 (1975), no. 1, pp. 223–227.Google Scholar
[Kec75B] Alexander S., KechrisThe theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259–297.Google Scholar
[Kec78A] Alexander S., Kechris AD and projective ordinals, in Kechris and Moschovakis [Cabal i], pp. 91–132, reprinted in [Cabal II], pp. 304–345.
[Kec78B] Alexander S., KechrisCountable ordinals and the analytical hierarchy. II, Annals of Mathematical Logic, vol. 15 (1978), no. 3, pp. 193–223.Google Scholar
[Kec81] Alexander S., KechrisHomogeneous trees and projective scales, in Kechris et al. [Cabal ii], pp. 33–74, reprinted in [Cabal II], pp. 270–303.
[KKMW81] Alexander S., Kechris, Eugene M., Kleinberg, Yiannis N., Moschovakis, and W. Hugh, WoodinThe axiom of determinacy, strong partition properties, and nonsingular measures, in Kechris et al. [Cabal ii], pp. 75–99, reprinted in [Cabal I], pp. 333–354.
[Cabal I] Alexander S., Kechris, Benedikt, Löwe, and John R., SteelGames, scales, and Suslin cardinals: the Cabal seminar, volume I, Lecture Notes in Logic, vol. 31, Cambridge University Press, 2008.Google Scholar
[Cabal II] Alexander S., Kechris, Benedikt, Löwe, and John R., SteelWadge degrees and projective ordinals: the Cabal seminar, volume II, Lecture Notes in Logic, vol. 37, Cambridge University Press, 2012.Google Scholar
[KM16] Alexander S., Kechris and Donald A., MartinOn the theory of π13 sets of reals, II, 2016, this volume.
[Cabal ii] Alexander S., Kechris, Donald A., Martin, and Yiannis N., MoschovakisCabal seminar 77–79, Lecture Notes in Mathematics, no. 839, Berlin, Springer, 1981.Google Scholar
[Cabal iii] Alexander S., Kechris, Donald A., Martin, and Yiannis N., MoschovakisCabal seminar 79–81, Lecture Notes in Mathematics, no. 1019, Berlin, Springer, 1983.Google Scholar
[KMS83] Alexander S., Kechris, Donald A., Martin, and Robert M., SolovayIntroduction to Q-theory, this volume, originally published in Kechris et al. [Cabal iii], pp. 199–282.
[KM72] Alexander S., Kechris and Yiannis N., MoschovakisTwo theorems about projective sets, Israel Journal of Mathematics, vol. 12 (1972), pp. 391–399.Google Scholar
[Cabal i] Alexander S., Kechris and Yiannis N., MoschovakisCabal seminar 76–77, Lecture Notes in Mathematics, no. 689, Berlin, Springer, 1978.Google Scholar
[KM78B] Alexander S., Kechris and Yiannis N., MoschovakisNotes on the theory of scales, in Cabal Seminar 76–77 [Cabal i], pp. 1–53, reprinted in [Cabal I], pp. 28–74.
[KW80] Alexander S., Kechris and W. Hugh, WoodinGeneric codes for uncountable ordinals, partition properties, and elementary embeddings, circulated manuscript, 1980, reprinted in [Cabal I], pp. 379–397.
[KW08] Alexander S., Kechris and W. Hugh, WoodinThe equivalence of partition properties and determinacy, in Kechris et al. [Cabal I], pp. 355–378.
[Ket11] Richard, Ketchersid More structural consequences of AD, Set theory and its applications, Contemporary Mathematics, vol. 533, American Mathematical Society, Providence, RI, 2011, pp. 71–105.Google Scholar
[Kle55A] Stephen C., KleeneArithmetical predicates and function quantifiers, Transactions of the American Mathematical Society, vol. 79 (1955), pp. 312–340.Google Scholar
[Kle55B] Stephen C., KleeneHierarchies of number-theoretic predicates, Bulletin of the American Mathematical Society, vol. 61 (1955), pp. 193–213.Google Scholar
[Kle55C] Stephen C., KleeneOn the forms of the predicates in the theory of constructive ordinals. II, American Journal of Mathematics, vol. 77 (1955), pp. 405–428.Google Scholar
[KW10] Peter, Koellner and W. Hugh, WoodinLarge cardinals from determinacy, in Kanamori and Foreman [KF10], pp. 1951–2119.
[Kun70] Kenneth, KunenSome applications of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179–227.Google Scholar
[Man70] Richard, MansfieldPerfect subsets of definable sets of real numbers, Pacific Journal of Mathematics, vol. 35 (1970), no. 2, pp. 451–457.Google Scholar
[Mar] Donald A., MartinBorel and projective games, in preparation.
[Mar80] Donald A., Martin Infinite games, Proceedings of the International Congress of Mathematicatians, Helsinki 1978 (Helsinki) (Olli Lehto, editor), Academia Scientiarum Fennica, 1980, pp. 269–273.Google Scholar
[Mar83] Donald A., MartinThe largest countable this, that, and the other, in Kechris et al. [Cabal iii], pp. 97–106, reprinted in [Cabal I], pp. 121–129.
[MS83] Donald A., Martin and John R., SteelThe extent of scales in L(ℝ), in Kechris et al. [Cabal iii], pp. 86–96, reprinted in [Cabal I], pp. 110–120.
[MS89] Donald A., Martin and John R., SteelA proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71–125.Google Scholar
[MaS94] Donald A., Martin and John R., SteelIteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1–73.Google Scholar
[Mit74] William J., MitchellSets constructible from sequences of ultrafilters, The Journal of Symbolic Logic, vol. 39 (1974), pp. 57–66.Google Scholar
[Mit79] William J., Mitchell Hypermeasurable cardinals, Logic Colloquium ’78 (Mons, 1978), Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam, 1979, pp. 303–316.Google Scholar
[MiS94] William J., Mitchell and John R., SteelFine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994.Google Scholar
[Mos71] Yiannis N., MoschovakisUniformization in a playful universe, Bulletin of the American Mathematical Society, vol. 77 (1971), pp. 731–736.Google Scholar
[Mos78] Yiannis N., MoschovakisInductive scales on inductive sets, in Kechris and Moschovakis [Cabal i], pp. 185–192, reprinted in [Cabal I], pp. 94–101.
[Mos81] Yiannis N., MoschovakisOrdinal games and playful models, this volume, originally published in Kechris et al. [Cabal ii], pp. 169–201.
[Mos83] Yiannis N., MoschovakisScales on coinductive sets, in Kechris et al. [Cabal iii], pp. 77–85, reprinted in [Cabal I], pp. 102–109.
[Mos09] Yiannis N., MoschovakisDescriptive set theory, second ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, 2009.Google Scholar
[Nee95] Itay, NeemanOptimal proofs of determinacy, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 3, pp. 327–339.Google Scholar
[Nee00] Itay, NeemanUnraveling π11 sets, Annals of Pure andApplied Logic, vol. 106 (2000), no. 1-3, pp. 151–205.Google Scholar
[Nee02] Itay, NeemanOptimal proofs of determinacy II, Journal of Mathematical Logic, vol. 2 (2002), no. 2, pp. 227–258.Google Scholar
[Nee04] Itay, NeemanThe determinacy of long games, de Gruyter Series in Logic and its Applications, vol. 7, Walter de Gruyter, Berlin, 2004.Google Scholar
[Nee06] Itay, NeemanUnraveling π11 sets, revisited, Israel Journal of Mathematics, vol. 152 (2006), pp. 181–203.Google Scholar
[Nee07] Itay, NeemanInner models and ultrafilters in L(ℝ), The Bulletin of Symbolic Logic, vol. 13 (2007), no. 1, pp. 31–53.Google Scholar
[Nee16] Itay, NeemanAn inner models proof of the Kechris–Martin theorem, 2016, this volume.
[Sar09] Grigor, SargsyanA tale of hybrid mice, Ph.D. thesis, University of California, Berkeley, 2009.Google Scholar
[SS] Ralf, Schindler and John R., SteelThe core model induction, to appear.
[SS09] Ralf, Schindler and John R., SteelThe self-iterability of L[E], The Journal of Symbolic Logic, vol. 74 (2009), no. 3, pp. 751–779.Google Scholar
[Sch07] Farmer, SchlutzenbergMeasures in mice, Ph.D. thesis, University of California, Berkeley, 2007.Google Scholar
[SW90] Saharon, Shelah and W. Hugh, WoodinLarge cardinals imply that every reasonably definable set of reals is Lebesgue measurable, Israel Journal of Mathematics, vol. 70 (1990), no. 3, pp. 381–394.Google Scholar
[Sho61] Joseph R., ShoenfieldThe problem of predicativity, Essays on the foundations of mathematics (Y. Bar-Hillel et al., editors), Magnes Press, Jerusalem, 1961, pp. 132–139.Google Scholar
[Sil71A] Jack H., SilverThe consistency of the GCH with the existence of a measurable cardinal, Axiomatic set theory(Dana S. Scott, editor), Proceedings of Symposia in Pure Mathematics, vol. XIII, Part I, American Mathematical Society, 1971, pp. 391–395.Google Scholar
[Sil71B] Jack H., SilverMeasurable cardinals and Δ13 wellorderings, Annals of Mathematics, vol. 94 (1971), no. 2, pp. 414–446.Google Scholar
[Sim79] John, SimmsSemihypermeasurables and Π01 (Π11) games, Ph.D. thesis, Rockefeller University, 1979.Google Scholar
[Sol66] Robert M., SolovayOn the cardinality of Σ12 set of reals, Foundations of Mathematics: Symposium papers commemorating the 60th birthday of Kurt Gödel(Jack J., Bulloff, Thomas C., Holyoke, and S.W., Hahn, editors), Springer-Verlag, 1966, pp. 58–73.Google Scholar
[Ste82B] John R., SteelDeterminacy in the Mitchell models, Annals of Mathematical Logic, vol. 22 (1982), no. 2, pp. 109–125.Google Scholar
[Ste83A] John R., SteelScales in L(ℝ), in Kechris et al. [Cabal iii], pp. 107–156, reprinted in [Cabal I], pp. 130–175.
[Ste83B] John R., SteelScales on Σ11 sets, inKechris et al. [Cabal iii], pp. 72–76, reprinted in [Cabal I], pp. 90–93.
[Ste95A] John R., SteelHODL(ℝ) is a core model below Θ, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 1, pp. 75–84.Google Scholar
[Ste95B] John R., SteelProjectively wellordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), no. 1, pp. 77–104.Google Scholar
[Ste08A] John R., SteelDerived models associated to mice, Computational prospects of infinity. Part I. Tutorials, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, vol. 14, World Scientific Publishing, 2008, pp. 105–193.Google Scholar
[Ste08B] John R., SteelGames and scales. Introduction to Part I, in Kechris et al. [Cabal I], pp. 3–27.
[Ste08C] John R., SteelScales in K(ℝ), in Kechris et al. [Cabal I], pp. 176–208.
[Ste09] John R., SteelThe derived model theorem, Logic Colloquium 2006, Lecture Notes in Logic, vol. 19, Association for Symbolic Logic, 2009, pp. 280–327.Google Scholar
[Ste10A] John R., SteelNotes on V as a derived model, unpublished notes, 2010.
[Ste10B] John R., SteelAn outline of inner model theory, in Kanamori and Foreman [KF10], pp. 1595–1684.
[Ste16B] John R., SteelA theorem of Woodin on mouse sets, 2016, this volume.
[ST10] John R., Steel and Nam, Trang AD+, derived models, and S1 reflection, Notes from the firstMünster conference on hod mice and the core model induction, available at http://math.berkeley.edu/~namtrang/ AD+reflection.pdf, 2010.
[SVW82] John R., Steel and Robert Van, WesepTwo consequences of determinacy consistent with choice, Transactions of the American Mathematical Society, vol. 272 (1982), no. 1, pp. 67–85.Google Scholar
[SW16] John R., Steel and W. Hugh, Woodin HOD as a core model, 2016, this volume.
[Wil13] Trevor Miles, WilsonContributions to descriptive inner model theory, Ph.D. thesis, University of California, Berkeley, 2013.Google Scholar
[Woo83A] W. Hugh, Woodin AD and the uniqueness of the supercompact measures on Pω1 (λ), in Kechris et al. [Cabal iii], pp. 67–71.
[Woo83B] W. Hugh, WoodinSome consistency results in ZFC using AD, in Kechris et al. [Cabal iii], pp. 172–198.
[Woo88] W. Hugh, WoodinSupercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), no. 18, pp. 6587–6591.Google Scholar
[Zhu10] Yizheng, ZhuThe derived model theorem II, Notes on lectures given by H. Woodin at the first Münster conference on hod mice and the core model induction, available at http://graduate.math.nus.edu.sg/~g0700513/der.pdf, 2010.
[Zhu12] Yizheng, ZhuRealizing anAD+ model as a derived model of a premouse, Ph.D. thesis, National University of Singapore, 2012.
1
Cited by

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×