Algebraic Characterization of FO for Scattered Linear Orderings

DOI10.4230/LIPICS.CSL.2011.67zbMath1247.68177OpenAlexW2272346406MaRDI QIDQ2915674

Alexis Bès, Olivier Carton

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_59ee.html

zbMATH Keywords

semigroupsfirst-order logiclinear orderingsrational sets

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (5)

Limited Set quantifiers over Countable Linear Orderings ⋮ First-order logic and its infinitary quantifier extensions over countable words ⋮ Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words ⋮ First-order separation over countable ordinals ⋮ Logic and rational languages of scattered and countable series-parallel posets

This page was built for publication: Algebraic Characterization of FO for Scattered Linear Orderings