10 citations · 25 across the 13 of their papers we have counts for
1 paper · 1 filter
Vincent Astier
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 pos…