On countable chains having decidable monadic theory

Alexis Bès*, Alexander Rabinovich

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)593-608
Number of pages16
JournalJournal of Symbolic Logic
Issue number2
StatePublished - Jun 2012


Dive into the research topics of 'On countable chains having decidable monadic theory'. Together they form a unique fingerprint.

Cite this