{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T22:05:54Z","timestamp":1767909954284,"version":"3.49.0"},"reference-count":8,"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":4575,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2001,9]]},"abstract":"<jats:p>The purpose of this paper is to present a kind of boundedness lemma for direct limits of coarse structural mice, and to indicate some applications to descriptive set theory. For instance, this allows us to show that under large cardinal or determinacy assumptions there is no prewellorder \u2264 of length <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200010483_inline1\"\/> such that for some formula <jats:italic>\u03c8<\/jats:italic> and parameter <jats:italic>z<\/jats:italic><\/jats:p><jats:p><jats:disp-formula><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S0022481200010483_Uequ1\"\/><\/jats:disp-formula><\/jats:p><jats:p>if and only if<\/jats:p><jats:p><jats:disp-formula><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S0022481200010483_Uequ2\"\/><\/jats:disp-formula><\/jats:p><jats:p>It is a peculiar experience to write up a result in this area. Following the work of Martin, Steel, Woodin, and other inner model theory experts, there is an enormous overhang of theorems and ideas, and it only takes one wandering pebble to restart the avalanche. For this reason I have chosen to center the exposition around the one pebble at 1.7 which I believe to be new. The applications discussed in section 2 involve routine modifications of known methods.<\/jats:p><jats:p>A detailed introduction to many of the techniques related to using the Martin-Steel inner model theory and Woodin's free extender algebra is given in the course of [1]. Certainly a familiarity with the Martin-Steel papers, [5] and [6], is a prerequisite, as is some knowledge of the free extender algebra. Probably anyone interested in this paper will already know the necessary descriptive set theory, most of which can be found in [4]. Discussion of earlier results in this direction can be found in [3] or [2].<\/jats:p>","DOI":"10.2307\/2695092","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T14:06:19Z","timestamp":1146924379000},"page":"1058-1072","source":"Crossref","is-referenced-by-count":4,"title":["A boundedness lemma for iterations"],"prefix":"10.1017","volume":"66","author":[{"given":"Greg","family":"Hjorth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200010483_ref001","first-page":"337","volume":"62","author":"Hjorth","year":"1997","journal-title":"Some applications of coarse inner model theory"},{"key":"S0022481200010483_ref005","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1989-0955605-X"},{"key":"S0022481200010483_ref008","doi-asserted-by":"publisher","DOI":"10.2307\/420947"},{"key":"S0022481200010483_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/421049"},{"key":"S0022481200010483_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90081-C"},{"key":"S0022481200010483_ref007","doi-asserted-by":"publisher","DOI":"10.2307\/421159"},{"key":"S0022481200010483_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1994-1224594-7"},{"key":"S0022481200010483_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0071702"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200010483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T19:26:08Z","timestamp":1557257168000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200010483\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["S0022481200010483"],"URL":"https:\/\/doi.org\/10.2307\/2695092","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}