Is the Borel monadic theory of the real order (BMTO) decidable? Is the monadic theory of well-ordering (MTWO) consistently decidable?

Open the “Model theory and formal languages” section on Wikipedia →

Source: List of unsolved problems in mathematics (CC BY-SA 4.0)