Is there a conventional name for the set of rationals closed under taking square roots? It's not ℝ because it doesn't include the transcendentals, and it doesn't include things like ∛2.
@christianp You might have better luck finding a name for the Galois group? It should have a very particular structure - every element generates a subgroup of size a power of two, I think?
@anne @christianp Wikipedia says the members of this field are called the constructible numbers: https://en.wikipedia.org/wiki/Constructible_number
You can also call it the quadratic closure of the rationals.
@christianp I think these are the constructable numbers.
@christianp sorry. Didn't see the other responses you got before I posted.
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.