Back to Search
Start Over
Internal Computability.
- Source :
- Computation & Logic in the Real World; 2007, p348-357, 10p
- Publication Year :
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540730002
- Database :
- Supplemental Index
- Journal :
- Computation & Logic in the Real World
- Publication Type :
- Book
- Accession number :
- 33191462
- Full Text :
- https://doi.org/10.1007/978-3-540-73001-9_36