NANDO PRATI
La teoria FAST e l'assioma di induzione in forma finita
Pages 213-222
Received: 23 Jenuary 1990
Abstract
In questo articolo vogliamo considerare una forma pił debole dell'assioma di induzione che si era assunto nella teoria FAST di [3]1. Mostreremo che di tale assioma (dato in modo semiformale) esiste una espressione formale equivalente.