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.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11568/25906
Autori: | |
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.