TY - JOUR
T1 - On countable chains having decidable monadic theory
AU - Bès, Alexis
AU - Rabinovich, Alexander
PY - 2012/6
Y1 - 2012/6
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84862563745&partnerID=8YFLogxK
U2 - 10.2178/jsl/1333566639
DO - 10.2178/jsl/1333566639
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84862563745
SN - 0022-4812
VL - 77
SP - 593
EP - 608
JO - Journal of Symbolic Logic
JF - Journal of Symbolic Logic
IS - 2
ER -