Sigma-определимость в наследственно конечных надстройках и пары моделей