Abstract
Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.
Citation
Alexis Bès. Alexander Rabinovich. "On countable chains having decidable monadic theory." J. Symbolic Logic 77 (2) 593 - 608, June 2012. https://doi.org/10.2178/jsl/1333566639
Information
