Pages that link to "Item:Q4692085"
From MaRDI portal
The following pages link to AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085):
Displaying 4 items.
- First-order logic and its infinitary quantifier extensions over countable words (Q2140479) (← links)
- Pro-aperiodic monoids via saturated models (Q2279939) (← links)
- (Q5089242) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
