Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers