Lovely pairs of models: the non first order case, preprint

Abstract. We prove that for every simple theory T (or even simple thick compact abstract theory) there is a (unique) compact abstract theory TP whose saturated models are the lovely pairs of T. Independence-theoretic results that were proved in [BPV03] when TP is a first order theory are proved for the general case: in particular T P is simple and we characterise independence