Pages that link to "Item:Q4145760"
From MaRDI portal
The following pages link to Expanded theory of ordered Abelian groups (Q4145760):
Displaying 6 items.
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- Ordered groups (Q1054755) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems (Q3298249) (← links)
- The Theory of Ordered Abelian Groups does not have the Independence Property (Q4744252) (← links)
