Monadic theory of order and topology in ZFC

Abstract

True first-order arithmetic is interpreted in the monadic theories of certain chains and topological spaces including the real line and the Cantor Discontinuum. It was known that existence of such interpretations in consistent with ZFC.