We extend the notion of (TTE-)computability to nonstandard universes by the traditional method of enlarging universes through ultrafilters. In this way a nonstandard notion of effectivity is obtained.
Internal Computability / Guido Gherardi. - STAMPA. - 4497:(2007), pp. 348-357. (Intervento presentato al convegno CiE 2007 tenutosi a Siena nel 18/06/2007-23/06/2007) [10.1007/978-3-540-73001-9_36].
Internal Computability
GHERARDI, GUIDO
2007
Abstract
We extend the notion of (TTE-)computability to nonstandard universes by the traditional method of enlarging universes through ultrafilters. In this way a nonstandard notion of effectivity is obtained.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.