Tim Netzer

works on

convex cones 1 enriched category theory 1 Lorentz cones 1 matrix algebras 1 module equivalence 1 nonunital operator systems 1 ordered Banach spaces 1 positive semidefinite cones 1 purification principle 1 quantum theory 1 tensor cones 1

From the 2 of 8 linked papers with an AI index.

collaborators

Showing math.LOShow all

1 paper · 1 filter

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 $B$ to 'inherit' quantifier elimination from another structure $A$ . This yields an alternative proof of one of the ma…