In this talk, we present the aproaches of Rabin (69) and Shelah (75) for deciding the monadic theory of the rationals with order.