Pages that link to "Item:Q4928503"
From MaRDI portal
The following pages link to Composition with Algebra at the Background (Q4928503):
Displaying 4 items.
- Interpreting the monadic second order theory of one successor in expansions of the real line (Q1650004) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Definability in Rationals with Real Order in the Background (Q4329520) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)