ML-1996-01: Algebraic Methods and Bounded Formulas

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

	Text (Full Text) ML-1996-01.text.ps.gz Download (80kB)
	Text (Abstract) ML-1996-01.abstract.txt Download (486B)

Abstract

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
URI:	https://eprints.illc.uva.nl/id/eprint/1370

Actions (login required)

View Item