Monadic Theory of Order and Topology, I

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