Internal Computability

Authors:
Guido Gherardi
Affiliations:
Dipartimento di Scienze Matematiche e Informatiche, "R. Magari", Università di Siena, Pian dei Mantellini 44 - 53100 Siena, Italy
Venue:
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Year:
2007

Citing 2
Cited 0

Computable analysis: an introduction

Computable analysis: an introduction
Computability on subsets of metric spaces

Theoretical Computer Science - Topology in computer science

Quantified Score

Hi-index	0.01

Visualization

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.