Reduce[{x^2 == 0.5, x > 0}, x, Reals]