{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T22:35:24Z","timestamp":1781562924227,"version":"3.54.5"},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":5671,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1998,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We propose a simple notion of \u201cextender\u201d for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.<\/jats:p>","DOI":"10.2307\/2586731","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:01:28Z","timestamp":1146938488000},"page":"1137-1176","source":"Crossref","is-referenced-by-count":3,"title":["Extenders, embedding normal forms, and the Martin-Steel-theorem"],"prefix":"10.1017","volume":"63","author":[{"given":"Peter","family":"Koepke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120001478X_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079419"},{"key":"S002248120001478X_ref010","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1989-0955605-X"},{"key":"S002248120001478X_ref008","first-page":"137","volume-title":"Logic colloquium 1987","author":"Koepke","year":"1989"},{"key":"S002248120001478X_ref009","doi-asserted-by":"crossref","first-page":"287","DOI":"10.4064\/fm-66-3-287-291","article-title":"Measurable cardinals and analytic games","volume":"66","author":"Martin","year":"1970","journal-title":"Fundamenta Mathematicae"},{"key":"S002248120001478X_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"S002248120001478X_ref003","volume-title":"Set theory: An introduction to large cardinals","author":"Drake","year":"1974"},{"key":"S002248120001478X_ref014","volume-title":"Diplomarbeit","author":"Wind\u00dfus","year":"1993"},{"key":"S002248120001478X_ref006","volume-title":"Set theory","author":"Jech","year":"1978"},{"key":"S002248120001478X_ref002","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511600586"},{"key":"S002248120001478X_ref011","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1994-1224594-7"},{"key":"S002248120001478X_ref004","unstructured":"Friedman S. D. , Embedding hierarchies, unpublished notes."},{"key":"S002248120001478X_ref012","first-page":"303","volume-title":"Logic colloquium 1978","author":"Mitchell","year":"1979"},{"key":"S002248120001478X_ref013","volume-title":"Descriptive set theory","author":"Moschovakis","year":"1980"},{"key":"S002248120001478X_ref005","first-page":"245","article-title":"Infinite games with perfect information","volume":"28","author":"Gale","year":"1953","journal-title":"Annals of Mathematics Studies"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120001478X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T20:21:21Z","timestamp":1557519681000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120001478X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["S002248120001478X"],"URL":"https:\/\/doi.org\/10.2307\/2586731","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}