{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T16:35:08Z","timestamp":1772037308158,"version":"3.50.1"},"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":4759,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2001,3]]},"abstract":"<jats:p>A hyperimaginary is an equivalence class of a type-definable equivalence relation on tuples of possibly infinite length. The notion was recently introduced in [1], mainly with reference to simple theories. It was pointed out there how hyperimaginaries still remain in a sense within the domain of first order logic. In this paper we are concerned with several issues: on the one hand, various levels of complexity of hyperimaginaries, and when hyperimaginaries can be reduced to simpler hyperimaginaries. On the other hand the issue of what information about hyperimaginaries in a saturated structure <jats:italic>M<\/jats:italic> can be obtained from the abstract group <jats:italic>Aut(M)<\/jats:italic>.<\/jats:p><jats:p>In Section 2 we show that if <jats:italic>T<\/jats:italic> is simple and canonical bases of Lascar strong types exist in <jats:italic>M<\/jats:italic><jats:sup>eq<\/jats:sup> then hyperimaginaries can be eliminated in favour of sequences of ordinary imaginaries. In Section 3, given a type-definable equivalence relation with a bounded number of classes, we show how the quotient space can be equipped with a certain compact topology. In Section 4 we study a certain group introduced in [5], which we call the Galois group of <jats:italic>T<\/jats:italic>, develop a Galois theory and make the connection with the ideas in Section 3. We also give some applications, making use of the structure of compact groups. One of these applications states roughly that bounded hyperimaginaries can be eliminated in favour of sequences of finitary hyperimaginaries. In Sections 3 and 4 there is some overlap with parts of Hrushovski's paper [2].<\/jats:p>","DOI":"10.2307\/2694914","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:03:53Z","timestamp":1146938633000},"page":"127-143","source":"Crossref","is-referenced-by-count":24,"title":["Hyperimaginaries and automorphism groups"],"prefix":"10.1017","volume":"66","author":[{"given":"D.","family":"Lascar","sequence":"first","affiliation":[]},{"given":"A.","family":"Pillay","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200011245_ref003","first-page":"926","volume":"63","author":"Kim","year":"1998","journal-title":"A note on Lascar strong types in simple theories"},{"key":"S0022481200011245_ref002","unstructured":"Hrushovski E. , Simplicity and the lascar group, preprint 1997."},{"key":"S0022481200011245_ref010","volume-title":"Groupes topologiques","author":"Weil","year":"1940"},{"key":"S0022481200011245_ref007","first-page":"330","volume":"44","author":"Lascar","year":"1979","journal-title":"An introduction to forking"},{"key":"S0022481200011245_ref005","first-page":"249","volume":"47","author":"Lascar","year":"1982","journal-title":"On the category of models of a complete theory"},{"key":"S0022481200011245_ref009","first-page":"400","volume":"52","author":"Pillay","year":"1987","journal-title":"Pas d'imaginaires dans l'infini"},{"key":"S0022481200011245_ref001","first-page":"293","volume":"65","author":"Hart","year":"2000","journal-title":"Coordinatization and canonical bases in simple theories"},{"key":"S0022481200011245_ref008","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/25.2.125"},{"key":"S0022481200011245_ref006","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-62.1.25"},{"key":"S0022481200011245_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(97)00019-5"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200011245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T00:46:04Z","timestamp":1557276364000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200011245\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0022481200011245"],"URL":"https:\/\/doi.org\/10.2307\/2694914","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}