Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings

@inproceedings{Bedon2009LogicAB,
  title={Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings},
  author={Nicolas Bedon},
  booktitle={LFCS},
  year={2009}
}
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only if it is recognizable by a finite depth-nilpotent algebra if and only if it is bounded-width and monadic second-order definable. This extends previous results on languages of… CONTINUE READING