Quantifier elimination for quasi-real closed fields

HIGHLIGHTS

• who: Mickaël Matusinskiand Simon Müller from the Centre Mersenne pour l'édition scientifique ouverte a UnivBordeaux, IMB, UMR, Talence, France have published the Article: Quantifier elimination for quasi-real closed fields, in the Journal: (JOURNAL)

SUMMARY

Ordered fields and valued fields share several similar features, most notably via the notion of_(order-)compatible valuations (see e_g_[9, 10, 13] and below). The authors derive a notion of quasireal closed field, which subsumes the classes of algebraically closed fields and real closed fields. Note that real closed fields were developed by Artin . . .

 



If you want to have access to all the content you need to log in!

Thanks :)

Username or Email

Password

Remember me

Lost your password?

If you don't have an account, you can create one here.