TY  - RPRT
TI  - Model completeness and quantifier elimination for (ordered) central simple algebras with involution
AU  - Vincent Astier
PY  - 2025
UR  - https://arxiv.org/abs/2503.03028
ID  - 2503.03028
ER  -