On \(\Sigma\)-rigid presentations of the real order (Q404712): Difference between revisions

In the paper under review, the author studies \(\Sigma\)-presentations with parameters of structures over the hereditarily finite substructure \(\mathrm {HF} (\mathbb R)\) over the ordered field \(\langle \mathbb R,<\rangle\) of real numbers. The existence and effective infiniteness of the class of the linear orders on \(\mathbb R\) of type \(\langle \mathbb R,<\rangle\) which are \(\Sigma\)-definable over \(\mathrm {HF} (\mathbb R)\) with arbitrary tuples of real parameters \(\bar{p}\) is proved. It is also proved that these linear orders have no nontrivial \(\Sigma\)-definable self-embeddings with parameters.