Universal truth of operator statements via ideal membership

Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

We introduce a framework for proving statements about linear operators by verification of ideal membership in a free algebra. More specifically, arbitrary first-order statements ab…