$\Sigma$-жесткие представления вещественного порядка

Для произвольных наборов вещественных параметров $\bar p$ доказываются существование и эффективная бесконечность класса $\Sigma$-определимых над $\mathbb{HF(R)}$ с параметрами $\bar p$ линейных порядков на $\mathbb R$ по типу $\langle\mathbb R,<\rangle$, для которых не существует нетривиальных $\Sigma$-определимых с параметрами $\bar p$ изоморфных самовложений.