Model completeness and quantifier elimination for (ordered) central simple algebras with involution
Logic
2025-03-06 v1
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.
Cite
@article{arxiv.2503.03028,
title = {Model completeness and quantifier elimination for (ordered) central simple algebras with involution},
author = {Vincent Astier},
journal= {arXiv preprint arXiv:2503.03028},
year = {2025}
}