Abstract
We present some algebraic tools useful to the study of the expressive power of bounded formulas in second-order arithmetic (alternatively, second-order formulas in finite models). The techniques presented here come from Boolean circuit complexity and are adapted to the context of arithmetic. The purpose of this article is to expose them to a public with interests ranging from arithmetic to finite model theory. Our exposition is self-contained.
Citation
Domenico Zambella. "Algebraic Methods and Bounded Formulas." Notre Dame J. Formal Logic 38 (1) 37 - 48, Winter 1997. https://doi.org/10.1305/ndjfl/1039700695
Information