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 7 items.
- First-order logic and its infinitary quantifier extensions over countable words (Q2140479) (← links)
- Pro-aperiodic monoids via saturated models (Q2279939) (← links)
- Algebraic characterization of FO for scattered linear orderings (Q2915674) (← links)
- Definability in Rationals with Real Order in the Background (Q4329520) (← links)
- (Q5089242) (← links)
- Axiomatization of betweenness in order-theoretic trees (Q5856415) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)