We prove the existence of 2 ω pairwise non-Σ-embeddable into each other (and henceforth non-Σ-isomorphic) Σ-presentations of the additive group of the real numbers in the hereditarily finite superstructure over the ordered field of the real numbers.
No takes yet. Share an insight, caveat, or question.
Andrey Morozov (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: