Pages that link to "Item:Q2904628"
From MaRDI portal
The following pages link to On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages (Q2904628):
Displaying 6 items.
- The word problem for omega-terms over the Trotter-Weil hierarchy (Q1635816) (← links)
- Varieties (Q2074217) (← links)
- The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
- One quantifier alternation in first-order logic with modular predicates (Q5245724) (← links)
- The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy (Q5740189) (← links)
- The amazing mixed polynomial closure and its applications to two-variable first-order logic (Q6649443) (← links)