Model completeness and quantifier elimination for (ordered) central simple algebras with involution

Vincent Astier

We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize pos…