NOTES ON MONADIC LOGIC .B. COMPLEXITY OF LINEAR ORDERS IN ZFC

In those notes we prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same Lowenheim number as second order logic (the interpretation is semantical but not in the "classical" way), (b) a parallel (weaker) result for the monadic logic for completely metrizable spaces. The main results are in §§5, 6. © 1990 The Weizmann Science Press of Israel.