Pages that link to "Item:Q2915709"
From MaRDI portal
The following pages link to Algebraic characterization of the alternation hierarchy in \(\mathrm{FO}^2[<]\) on finite words (Q2915709):
Displaying 5 items.
- The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
- On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages (Q2904628) (← links)
- An effective characterization of the alternation hierarchy in two-variable logic (Q2957483) (← links)
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words (Q3395099) (← links)
- Structure Theorem and Strict Alternation Hierarchy for FO2 on Words (Q3608423) (← links)
