4 research outputs found
Algebraic Characterization of FO for Scattered Linear Orderings
We prove that for the class of sets of words indexed by countable scattered linear orderings, there is an equivalence between definability in first-order logic, star-free expressions with marked product, and recognizability by finite aperiodic semigroups which satisfy some additional equation
Algebraic Characterization of FO for Scattered Linear Orderings
International audienceno abstrac