The following pages link to Linear problems in valued fields (Q1582303):
Displaying 4 items.
- Better answers to real questions (Q898260) (← links)
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
- Positive existential Definability with unit, addition and coprimeness (Q6666557) (← links)
