On some representations of the real number field (Q695771)

From MaRDI portal
Revision as of 01:02, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On some representations of the real number field
scientific article

    Statements

    On some representations of the real number field (English)
    0 references
    17 December 2012
    0 references
    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)}\).
    0 references
    0 references
    ordered field of real numbers
    0 references
    Sigma-presentation
    0 references
    hereditary finite structures
    0 references
    0 references

    Identifiers