{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:07:52Z","timestamp":1759147672881},"reference-count":10,"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":5124,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2000,3]]},"abstract":"<jats:p>In this paper we discuss several generalization of theorems from stability theory to simple theories. Cherlin and Hrushovski, in [2] develop a substitute for canonical bases in finite rank, \u03c9-categorical supersimple theories. Motivated by methods there, we prove the existence of canonical bases (in a suitable sense) for types in any simple theory. This is done in Section 2. In general these canonical bases will (as far as we know) exist only as \u201chyperimaginaries\u201d, namely objects of the form<jats:italic>a<\/jats:italic>\/<jats:italic>E<\/jats:italic>where<jats:italic>a<\/jats:italic>is a possibly infinite tuple and<jats:italic>E<\/jats:italic>a type-definable equivalence relation. (In the supersimple, \u03c9-categorical case, these reduce to ordinary imaginaries.) So in Section 1 we develop the general theory of hyperimaginaries and show how first order model theory (including the theory of forking) generalises to hyperimaginaries. We go on, in Section 3 to show the existence and ubiquity of regular types in supersimple theories, \u03c9-categorical simple structures and modularity is discussed in Section 4. It is also shown here how the general machinery of simplicity simplifies some of the general theory of smoothly approximable (or Lie-coordinatizable) structures from [2].<\/jats:p><jats:p>Throughout this paper we will work in a large, saturated model<jats:italic>M<\/jats:italic>of a complete theory<jats:italic>T<\/jats:italic>. All types, sets and sequences will have size smaller than the size of<jats:italic>M<\/jats:italic>. We will assume that the reader is familiar with the basics of forking in simple theories as laid out in [4] and [6]. For basic stability-theoretic results concerning regular types, orthogonality etc., see [1] or [9].<\/jats:p>","DOI":"10.2307\/2586538","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:01:31Z","timestamp":1146938491000},"page":"293-309","source":"Crossref","is-referenced-by-count":31,"title":["Coordinatisation and canonical bases in simple theories"],"prefix":"10.1017","volume":"65","author":[{"given":"Bradd","family":"Hart","sequence":"first","affiliation":[]},{"given":"Byunghan","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Anand","family":"Pillay","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200012482_ref003","unstructured":"Kim B. , A note on Lascar strong types in simple theories, preprint."},{"key":"S0022481200012482_ref002","unstructured":"Cherlin G. and Hrushovski E. , Notes on smoothly approximable structures, unpublished manuscript, 1990."},{"key":"S0022481200012482_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BF02760649"},{"key":"S0022481200012482_ref006","volume-title":"Annals of Pure and Applied Logic","author":"Kim","year":"1996"},{"key":"S0022481200012482_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-80177-8"},{"key":"S0022481200012482_ref004","volume-title":"Proceedings of the London Mathematical Society","author":"Kim","year":"1996"},{"key":"S0022481200012482_ref005","unstructured":"Kim B. , Simple first order theories, Ph.D. thesis , Notre Dame University, 1996."},{"key":"S0022481200012482_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(80)90009-1"},{"key":"S0022481200012482_ref007","unstructured":"Lubell A. , Forking in simple theories and global interactions with regular types, Ph.D. thesis , University of Maryland, 1997."},{"key":"S0022481200012482_ref009","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198534372.001.0001","volume-title":"Geometric stability theory","author":"Pillay","year":"1996"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200012482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:19:34Z","timestamp":1707031174000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200012482\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["S0022481200012482"],"URL":"https:\/\/doi.org\/10.2307\/2586538","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}