DELTA-ZERO COMPLEXITY OF THE RELATION y = Pi_{i leq n} F(i)

Berarducci, Alessandro; D'Aquino, P.

doi:10.1016/0168-0072(94)00055-8

We prove that if G is a Delta_0 definable function on the natural numbers and F(n) is the product of the first n values of G, then F is also Delta_0 definable. Moreover, the inductive properties of F can be proved inside the theory IDelta_0.

Scheda breve
Scheda completa

Autori:	BERARDUCCI, ALESSANDRO D'AQUINO P. mostra contributor esterni nascondi contributor esterni
Autori:	BERARDUCCI A; D'AQUINO P
Titolo:	DELTA-ZERO COMPLEXITY OF THE RELATION y = Pi_{i leq n} F(i)
Anno del prodotto:	1995
Digital Object Identifier (DOI):	10.1016/0168-0072(94)00055-8
Appare nelle tipologie:	1.1 Articolo in rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11568/25906

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.