Sciact
  • EN
  • RU

On Presentations of the Addition over the Reals Full article

Journal Lobachevskii Journal of Mathematics
ISSN: 1995-0802 , E-ISSN: 1818-9962
Output data Year: 2025, Volume: 46, Number: 4, Pages: 1892-1903 Pages count : 12 DOI: 10.1134/s1995080225606113
Tags generalized computability, admissible set, hereditarily finite superstructure, sigma-presentable structure, computable structure, constructive structure, computability over the real numbers, algorithmic dimension, autostability, number of presentations
Authors Morozov A.S. 1,2
Affiliations
1 Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
2 Novosibirsk State University

Funding (1)

1 Sobolev Institute of Mathematics FWNF-2022-0012

Abstract: We prove that there exists 2ω non-Σ-isomorphic and (even pairwise non-Σembeddable) Σ-presentations of the additive group of the real numbers in the hereditarily finite superstructure over the ordered field of the real numbers.
Cite: Morozov A.S.
On Presentations of the Addition over the Reals
Lobachevskii Journal of Mathematics. 2025. V.46. N4. P.1892-1903. DOI: 10.1134/s1995080225606113 WOS Scopus РИНЦ OpenAlex
Dates:
Submitted: Jan 25, 2025
Accepted: Mar 1, 2025
Published print: Aug 21, 2025
Published online: Aug 21, 2025
Identifiers:
Web of science: WOS:001560067000031
Scopus: 2-s2.0-105013897127
Elibrary: 82828814
OpenAlex: W4413391701
Citing: Пока нет цитирований
Altmetrics: