No CrossRef data available.
Article contents
On countable chains having decidable monadic theory
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2012