Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
Maximilian Illmer
We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for…
math.LO2025
Constructive Quantifier Elimination with a Focus on Matrix Rings
Maximilian Illmer, Tim Netzer
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 ma…