TY - JOUR

T1 - On Presentations of the Addition over the Reals

AU - Morozov, A. S.

N1 - The paper was supported by the basic project FWNF-2022-0012 of the Ministry of Science and Higher Education of the Russian Federation. Morozov A. S. On Presentations of the Addition over the Reals / A. S. Morozov // Lobachevskii Journal of Mathematics. – 2025. – Vol. 46, No. 4. – P. 1892-1903. – DOI 10.1134/S1995080225606113

PY - 2025/8/21

Y1 - 2025/8/21

N2 - Abstract: We prove that there exists 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.

AB - Abstract: We prove that there exists 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.

KW - admissible set

KW - algorithmic dimension

KW - autostability

KW - computability over the real numbers

KW - computable structure

KW - constructive structure

KW - generalized computability

KW - hereditarily finite superstructure

KW - number of presentations

KW - sigma-presentable structure

UR - https://www.mendeley.com/catalogue/5aae8da8-7ff8-355e-abf8-dc44cb365b7e/

UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=105013897127&origin=inward

U2 - 10.1134/S1995080225606113

DO - 10.1134/S1995080225606113

M3 - Article

VL - 46

SP - 1892

EP - 1903

JO - Lobachevskii Journal of Mathematics

JF - Lobachevskii Journal of Mathematics

SN - 1995-0802

IS - 4

ER -