  We generalise the correspondence between $\aleph 0$-categorical theories and
their automorphism groups to arbitrary complete theories in classical logic,
and to some theories (including, in particular, all $\aleph 0$-categorical
ones) in continuous logic.
