AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085)
From MaRDI portal
scientific article; zbMATH DE number 6966190
Language | Label | Description | Also known as |
---|---|---|---|
English | AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS |
scientific article; zbMATH DE number 6966190 |
Statements
AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (English)
0 references
26 October 2018
0 references
generalized words
0 references
recognizability
0 references
monoids
0 references
linear orderings
0 references
mondaic second-order logic
0 references
0 references
0 references