Monadic theory of order and topology, 1

We deal with the monadic theory of linearly ordered sets and topological spaces, disprove two of Shelah’s conjectures and prove some more results. In particular, if the Continuum Hypothesis holds, then there exist monadic formulae expressing the predicates “X is countable” and “X is meager” in the real line and in Cantor’s Discontinuum.