On some representations of the real number field (Q695771): Difference between revisions

This is a less than two-pages announcement of a later paper [\textit{A. S. Morozov}, Algebra Logic 51, No. 1, 66--88 (2012); translation from Algebra Logika 51, No. 1, 96--128 (2012; Zbl 1334.03039)], where it is shown that the ordered field of the real numbers \({\mathbb R}_f=\langle R;+,\times,<,0,1,f\rangle\) augmented with a function \(f\) such as \(\exp\), \(\sin\), \(\cos\) or \(\ln\) is not \(\Sigma\)-definable over \({\mathbb {HF}(\mathbb R)}\), a hereditary finite superstructure over \({\mathbb R}\). This is done by showing that every two \(\Sigma\)-presentations of \({\mathbb R}=\langle R;+,\times,<,0,1\rangle\) over \({\mathbb {HF}(\mathbb R)}\) whose universes are subsets of \(R\) are mutually \(\Sigma\)-isomorphic. The author notes that the structure \(\langle R;<,\exp\rangle\) has already a rather simple \(\Sigma\)-presentation over \({\mathbb {HF}(\mathbb R)}\).