Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have