ML-1996-01: Algebraic Methods and Bounded Formulas

ML-1996-01: Zambella, Domenico (1996) Algebraic Methods and Bounded Formulas. [Report]

[img] Text (Full Text)

Download (80kB)
[img] Text (Abstract)

Download (486B)


We present some algebraic tools and apply them to the study of the expressive power of bounded formulas in second­order arithmetic. The accent is on negative results. The techniques studied here come from Boolean circuit complexity and are adapted to the context of arithmetic. One of the purposes of these article is to expose them to a public with interests ranging from arithmetic to finite model theory. Our exposition is self­contained.

Item Type: Report
Report Nr: ML-1996-01
Series Name: Mathematical Logic and Foundations (ML)
Year: 1996
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item