On some representations of the real number field (Q695771): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q630291 |
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
ordered field of real numbers
0 references
Sigma-presentation
0 references
hereditary finite structures
0 references