Notes on monadic logic. Part B: Complexity of linear orders in ZFC (Q912091): Difference between revisions

[For Part A see ibid 63, No.3, 335-352 (1988; Zbl 0664.03034).] From the author's abstract: ``We prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same L wenheim number as second order logic (the interpretation is semantical but not in the ``classical'' way), (b) a parallel (weaker) result for monadic logic for completely metrizable spaces.''