Bi-Interprétabilité

Une équivalence forte entre deux théories où chacune est interprétable dans l'autre et où les deux interprétations composées sont définissablement isomorphes à l'identité ; en pratique, les théories retrouvent la structure de l'autre à un isomorphisme définissable près.