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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bishop, E.A., Bridges, B.S.: Constructive Analysis. Springer, Heidelberg (1985)
Bishop, E.A., Cheng, H.: Constructive measure theory. Mem. American Mathematical Society 116 (1972)
Brattka, V.: Effective Borel measurability and reducibility of functions. Mathematical Logic Quarterly 51, 19–44 (2005)
Brattka, V., Presser, G.: Computability on subsets of metric spaces. Theoretical Computer Science 305, 43–76 (2003)
Bridges, D.S.: Constructive Functional Analysis. Pitman (1979)
Chan, Y.K.: A short proof of an existence theorem in constructive measure theory. Proceedings of the American Mathematical Society 48, 435–437 (1975)
Friedman, H.: 6:Undefinability/Nonstandard Models, http://www.cs.nyu.edu/pipermail/fom/1997-November/000278.html
Goldblatt, R.: Lectures on the Hyperreals. Springer, Heidelberg (1998)
Loeb, P.A., Wolff, M. (eds.): Nonstandard Analysis for the Working Mathematician. Kluwer, Dordrecht (2000)
Palmgren, E.: Developements in constructive nonstandard analysis. The Bullettin of Symbolic Logic 4, 233–273 (1998)
Robinson, A.: Non-Standard Analysis. North-Holland, Amsterdam (1966)
Ross, D.A.: The constructive content of nonstandard measure existence proof - is there any? In: Berger, U., Osswald, P., Schuster, P. (eds.) Reunititing the antipodes - Constructive and Nonstandard Views of the Continuum, pp. 229–239. Kluwer Academic Publishers, Boston (2001)
Ross, D.A.: A nonstandard proof o a lemma from constructive measure theory. Mathematical Logic Quartely 52, 494–497 (2006)
Tanaka, K.: Nonstandard Analysis in WKL0. Mathematical Logic Quarterly vol. 43 (1997)
Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gherardi, G. (2007). Internal Computability. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)