Constructive Quantifier Elimination with a Focus on Matrix Rings
Logic
2025-03-25 v1 Rings and Algebras
Abstract
We give a sufficient condition for a model theoretic structure to 'inherit' quantifier elimination from another structure . This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for certain matrix rings. The original proof uses model theory, and while it is very elegant and insightful, the proof we propose is much shorter and provides a constructive algorithm.
Cite
@article{arxiv.2503.18618,
title = {Constructive Quantifier Elimination with a Focus on Matrix Rings},
author = {Maximilian Illmer and Tim Netzer},
journal= {arXiv preprint arXiv:2503.18618},
year = {2025}
}