Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157)
From MaRDI portal
scientific article; zbMATH DE number 7695020
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words |
scientific article; zbMATH DE number 7695020 |
Statements
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (English)
0 references
12 June 2023
0 references
linear orderings
0 references
first-order logic
0 references
countable words
0 references
algebraic structures
0 references
formal language theory
0 references
block product
0 references
Krohn-Rhodes theorem
0 references
0 references
