{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T09:49:42Z","timestamp":1772444982903,"version":"3.50.1"},"reference-count":6,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3206,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2005,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Let <jats:italic>T<\/jats:italic> be simple, work in <jats:italic>C<jats:sup>eq<\/jats:sup><\/jats:italic> over a boundedly closed set. Let <jats:italic>p<\/jats:italic> \u0404 <jats:italic>S<\/jats:italic>(\u2205) be internal in a quasi-stably-embedded type-definable set <jats:italic>Q<\/jats:italic> (e.g., <jats:italic>Q<\/jats:italic> is definable or stably-embedded) and suppose (<jats:italic>p, Q<\/jats:italic>) is ACL-embedded in <jats:italic>Q<\/jats:italic> (see definitions below). Then Aut(<jats:italic>p\/Q<\/jats:italic>) with its action on <jats:italic>p<jats:sup>c<\/jats:sup><\/jats:italic> is type-definable in <jats:italic>C<jats:sup>eq<\/jats:sup><\/jats:italic> over \u2205. In particular, if <jats:italic>p<\/jats:italic> \u0404 <jats:italic>S<\/jats:italic>(\u2205) is internal in a stably-embedded type-definable set <jats:italic>Q<\/jats:italic>, and <jats:italic>p<jats:sup>c<\/jats:sup><\/jats:italic> \u22c3 <jats:italic>Q<\/jats:italic> is stably-embedded, then Aut(<jats:italic>p\/Q<\/jats:italic>) is type-definable with its action on <jats:italic>p<jats:sup>c<\/jats:sup><\/jats:italic>.<\/jats:p>","DOI":"10.2178\/jsl\/1120224718","type":"journal-article","created":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T15:01:21Z","timestamp":1120230081000},"page":"379-388","source":"Crossref","is-referenced-by-count":1,"title":["On the type-definability of the binding group in simple theories"],"prefix":"10.1017","volume":"70","author":[{"given":"Bradd","family":"Hart","sequence":"first","affiliation":[]},{"given":"Ziv","family":"Shami","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200006976_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90046-5"},{"key":"S0022481200006976_ref002","volume-title":"Differential Galois theory","volume":"58","author":"Hrushovski","year":"2002"},{"key":"S0022481200006976_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.12.004"},{"key":"S0022481200006976_ref003","first-page":"1481","volume":"65","author":"Shami","year":"2000","journal-title":"Definability in low simple theories"},{"key":"S0022481200006976_ref005","unstructured":"Shami Z. , Coordinatization by binding groups and unidimensionality in simple theories, this Journal, to appear."},{"key":"S0022481200006976_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3002-0"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200006976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T20:50:02Z","timestamp":1556916602000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200006976\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["S0022481200006976"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1120224718","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}