Quantifier Elimination for Matrix Rings and Beyond
Date
19/05/2026
Horaire
16:00 à 17:45
Diffusion
Résume
Klep and Tressl have proven quantifier elimination for matrix rings in a suitable language. We review this result and give a simplified proof, which allows for constructive elimination of quantifiers. The result also extends to quaternions, octonions and other classes of finite-dimensional algebras. This is joint work with Maximilian Illmer.
