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

Abstract

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 characterise positive cones on central simple algebras with involution in terms of morphisms into models of some model-complete theory. The main result of Section 3 is due to Nicolas Daans.