Pages that link to "Item:Q5567842"
From MaRDI portal
The following pages link to Elementary properties of ordered abelian groups (Q5567842):
Displaying 13 items.
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- Locally pure topological Abelian groups: Elementary invariants (Q1055767) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- A characterization of pseudofinite MV-algebras (Q2153659) (← links)
- Hyperfinite MV-algebras (Q2376570) (← links)
- Some model theory for almost real closed fields (Q3128465) (← links)
- Corps équivalents à leur corps de séries (Q3698902) (← links)
- Corps et Anneaux de Rolle (Q3753988) (← links)
- Undecidable <i>L<sup>t</sup></i> theories of topological abelian groups (Q3939789) (← links)
- The Theory of Ordered Abelian Groups does not have the Independence Property (Q4744252) (← links)
- Computing on Lattice-Ordered Abelian Groups (Q5049052) (← links)
- A closedness theorem and applications in geometry of rational points over Henselian valued fields (Q5109581) (← links)
