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

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q630291
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Andrey S. Morozov / rank
 
Normal rank

Revision as of 02:15, 20 February 2024

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