Constructive Quantifier Elimination with a Focus on Matrix Rings

Maximilian Illmer, Tim Netzer

We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the ma…