{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T09:24:04Z","timestamp":1648977844483},"reference-count":3,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4394,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2002,3]]},"abstract":"<jats:p>By a classifiable theory we shall mean a theory which is superstable, without the dimensional order property, which has prime models over pairs. In order to define what we mean by unique decomposition, we remind the reader of several definitions and results. We adopt the usual conventions of stability theory and work inside a large saturated model of a fixed classifiable theory <jats:italic>T<\/jats:italic>; for instance, if we write <jats:italic>M<\/jats:italic> \u2286 <jats:italic>N<\/jats:italic> for models of <jats:italic>T<\/jats:italic>, <jats:italic>M<\/jats:italic> and <jats:italic>N<\/jats:italic> we are thinking of these models as elementary submodels of this fixed saturated models; so, in particular, <jats:italic>M<\/jats:italic> is an elementary submodel of <jats:italic>N<\/jats:italic>. Although the results will not depend on it, we will assume that <jats:italic>T<\/jats:italic> is countable to ease notation.<\/jats:p><jats:p>We do adopt one piece of notation which is not completely standard: if <jats:italic>T<\/jats:italic> is classifiable, <jats:italic>M<\/jats:italic><jats:sub>0<\/jats:sub> \u2286 <jats:italic>M<jats:sub>i<\/jats:sub><\/jats:italic> for <jats:italic>i<\/jats:italic> = 1, 2 are models of <jats:italic>T<\/jats:italic> and <jats:italic>M<\/jats:italic><jats:sub>1<\/jats:sub> is independent from <jats:italic>M<\/jats:italic><jats:sub>2<\/jats:sub> over <jats:italic>M<\/jats:italic><jats:sub>0<\/jats:sub> then we write <jats:italic>M<\/jats:italic><jats:sub>1<\/jats:sub><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200009841_inline1\" \/><jats:italic>M<\/jats:italic><jats:sub>2<\/jats:sub> for the prime model over <jats:italic>M<\/jats:italic><jats:sub>1<\/jats:sub> \u222a <jats:italic>M<\/jats:italic><jats:sub>2<\/jats:sub>.<\/jats:p>","DOI":"10.2178\/jsl\/1190150029","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T14:12:10Z","timestamp":1197555130000},"page":"61-68","source":"Crossref","is-referenced-by-count":0,"title":["Unique decomposition in classifiable theories"],"prefix":"10.1017","volume":"67","author":[{"given":"Bradd","family":"Hart","sequence":"first","affiliation":[]},{"given":"Ehud","family":"Hrushovski","sequence":"additional","affiliation":[]},{"given":"Michael C.","family":"Laskowski","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200009841_ref002","unstructured":"Hart B. , Hrushovski E. , and Laskowski M. C. , The uncountable spectra of countable theories: the counting, in preparation."},{"key":"S0022481200009841_ref001","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0168-0072(89)90039-0","article-title":"On the existence of regular types","volume":"45","author":"Buechler","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"S0022481200009841_ref003","volume-title":"Classification theory","author":"Shelah","year":"1990"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T21:34:38Z","timestamp":1557178478000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200009841\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":3,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["S0022481200009841"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1190150029","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}