Algebraic characterization of FO for scattered linear orderings

DOI10.4230/LIPICS.CSL.2011.67zbMATH Open1247.68177OpenAlexW2272346406MaRDI QIDQ2915674FDOQ2915674

Authors: Alexis Bès, Olivier Carton 

Publication date: 18 September 2012

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

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

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)

Cited In (10)

• Algebraic linear orderings
• Scattered Context-Free Linear Orderings
• Limited set quantifiers over countable linear orderings
• An algebraic approach to MSO-definability on countable linear orderings
• Schützenberger and Eilenberg theorems for words on linear orderings
• First-order logic and its infinitary quantifier extensions over countable words
• First-order separation over countable ordinals
• Developments in Language Theory
• Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
• An algebraic characterisation of first-order logic with neighbour

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)