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

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 positive cones in terms of morphisms into models of some of these theories.