{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T17:31:58Z","timestamp":1767893518082,"version":"3.49.0"},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":2512,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2007,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a characterization of supercompactness measures for \u03c9<jats:sup>1<\/jats:sup> in L(\u211d), and of countable products of such measures, using inner models. We give two applications of this characterization, the first obtaining the consistency of <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1079898600002341_inline1\"\/> with ZFC+AD<jats:sup>L(\u211d)<\/jats:sup>, and the second proving the uniqueness of the supercompactness measure over <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1079898600002341_inline2\"\/> in L(\u211d) for <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1079898600002341_inline3\"\/>.<\/jats:p>","DOI":"10.2178\/bsl\/1174668217","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T09:55:07Z","timestamp":1197539707000},"page":"31-53","source":"Crossref","is-referenced-by-count":7,"title":["Inner Models and Ultrafilters In L(\u211d)"],"prefix":"10.1017","volume":"13","author":[{"given":"Itay","family":"Neeman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600002341_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF02773379"},{"key":"S1079898600002341_ref007","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1994-1224594-7"},{"key":"S1079898600002341_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(81)90011-5"},{"key":"S1079898600002341_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0071694"},{"key":"S1079898600002341_ref013","unstructured":"Steel John R. , HODL(\u211d) is a core model below \u0398, this Bulletin, vol. 1 (1995), no. 1, pp. 75\u201384."},{"key":"S1079898600002341_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21903-4"},{"key":"S1079898600002341_ref016","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1982-0656481-5"},{"key":"S1079898600002341_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/2273231"},{"key":"S1079898600002341_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(81)90001-2"},{"key":"S1079898600002341_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0071701"},{"key":"S1079898600002341_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0071697"},{"key":"S1079898600002341_ref010","unstructured":"Neeman Itay , Optimal proofs of determinacy, this Bulletin, vol. 1 (1995), no. 3, pp. 327\u2013339."},{"key":"S1079898600002341_ref003","unstructured":"Becker Howard , AD\u211d implies that \u21351 is huge, circulated manuscript."},{"key":"S1079898600002341_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2695045"},{"key":"S1079898600002341_ref008","doi-asserted-by":"publisher","DOI":"10.2307\/2273452"},{"key":"S1079898600002341_ref014","unstructured":"Steel John R. , Woodin's analysis of HODL(\u0398), Unpublished notes, 1996, available at http:\/\/math.berkeley.edu\/.steel\/papers\/hodlr.ps."},{"key":"S1079898600002341_ref015","unstructured":"Steel John R. , An outline of inner model theory, to appear in the Handbook of Set Theory."},{"key":"S1079898600002341_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90037-E"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600002341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T20:09:30Z","timestamp":1556741370000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600002341\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["S1079898600002341"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1174668217","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3]]}}}