Logical Characterization of Algebraic Circuit Classes over Integral Domains

Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube

We present an adapted construction of algebraic circuits over the reals introduced by Cucker and Meer to arbitrary infinite integral domains and generalize the $\mathrm{AC}_{\mathb…