Si fornisce una rappresentazione nel sistema dei T-insiemi, introdotto da F. Luci, dei seguenti insiemi che svolgono un ruolo fondamentale nell'edificazione dell'Analisi Intuizionista: l'insieme dei numeri naturali, l'insieme dei generatori canonici di numero reale e i ventagli.
Alcuni risultati sulla rappresentazione degli spiegamenti di Kleene mediante T-insiemi
HOLZER, SILVANO
1981-01-01
Abstract
Si fornisce una rappresentazione nel sistema dei T-insiemi, introdotto da F. Luci, dei seguenti insiemi che svolgono un ruolo fondamentale nell'edificazione dell'Analisi Intuizionista: l'insieme dei numeri naturali, l'insieme dei generatori canonici di numero reale e i ventagli.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
