Model completeness and quantifier elimination for (ordered) central simple algebras with involution
arXiv:2503.03028
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 characterize positive cones in terms of morphisms into models of some of these theories.