TY - JOUR
T1 - Decidable expansions of labelled linear orderings
AU - Bès, Alexis
AU - Rabinovich, Alexander
PY - 2011
Y1 - 2011
N2 - Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type ω or -ω, and the monadic second order theory of the combined structure is decidable, there exists a non-trivial expansion by a further monadic predicate that is still decidable.
AB - Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type ω or -ω, and the monadic second order theory of the combined structure is decidable, there exists a non-trivial expansion by a further monadic predicate that is still decidable.
KW - Decidability
KW - Definability
KW - Linear orderings
KW - Monadic second-order logic
UR - http://www.scopus.com/inward/record.url?scp=79960437413&partnerID=8YFLogxK
U2 - 10.2168/LMCS-7(2:5)2011
DO - 10.2168/LMCS-7(2:5)2011
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:79960437413
SN - 1860-5974
VL - 7
JO - Logical Methods in Computer Science
JF - Logical Methods in Computer Science
IS - 2
ER -