Pages that link to "Item:Q4608629"
From MaRDI portal
The following pages link to Two-Variable Logic over Countable Linear Orderings (Q4608629):
Displaying 8 items.
- Linear circuits, two-variable logic and weakly blocked monoids (Q391307) (← links)
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- First-order logic and its infinitary quantifier extensions over countable words (Q2140479) (← links)
- Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids (Q3525564) (← links)
- An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic (Q4608719) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)
- Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)