Algebraic characterization of FO for scattered linear orderings

DOI10.4230/LIPICS.CSL.2011.67MaRDI QIDQ2915674zbMATH OpenOpenAlexFDO

Authors 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

first-order logicsemigroupslinear 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)

Recommendations

• Schützenberger and Eilenberg theorems for words on linear orderings
• Developments in Language Theory
• An algebraic approach to MSO-definability on countable linear orderings
• Regular languages of words over countable linear orderings
• scientific article; zbMATH DE number 1834651

Cited in

(10)

• First-order separation over countable ordinals
• An algebraic approach to MSO-definability on countable linear orderings
• An algebraic characterisation of first-order logic with neighbour
• Developments in Language Theory
• Scattered Context-Free Linear Orderings
• 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
• Algebraic linear orderings
• Schützenberger and Eilenberg theorems for words on linear orderings

This page was built for publication: Algebraic characterization of FO for scattered linear orderings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915674)