Hyperimaginaries and automorphism groups (Q2732271)

A hyperimaginary is an equivalence class of a type-definable equivalence relation on tuples of possibly infinite length. The notion of hyperimaginary was recently introduced by \textit{B. Hart}, \textit{B. Kim} and \textit{A. Pillay} [ibid. 65, 293-309 (2000; Zbl 0945.03051)], mainly with reference to simple theories. In this paper several issues are considered: 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 model \(M\) can be obtained from the abstract group \(\Aut(M)\).