Морозов А. С.
Σ-жесткие представления вещественного порядка
Для произвольных наборов вещественных параметров  доказываются существование и эффективная бесконечность класса Σ-определимых над   ( ) с параметрами линейных порядков на по типу ‹R,<›, для которых не существует нетривиальных Σ-определимых с параметрами изоморфных самовложений.
|
Morozov A. S.
On Σ-rigid presentations of the real order
For arbitrary tuples of real parameters , we prove the existence and effective infiniteness of the class of the linear orders on of type ‹R,<› which are Σ-definable over () with parameters and have no nontrivial Σ-definable self-embeddings with parameters .
|
