Decidable Expansions of Labelled Linear Orderings
Logic in Computer Science
2015-07-01 v2 Logic
Abstract
Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, 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.
Cite
@article{arxiv.1102.2232,
title = {Decidable Expansions of Labelled Linear Orderings},
author = {Alexis Bes and Alexander Rabinovich},
journal= {arXiv preprint arXiv:1102.2232},
year = {2015}
}
Comments
18 pages