Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity

Argimiro Arratia, Carlos E. Ortiz

Separations among the first order logic $\mathcal{R}ing(0,+,\ast )$ of finite residue class rings, its extensions with generalized quantifiers, and in the presence of a built-in order are…