Logicism, Intuitionism, and Formalism pp 189-207

Part of the Synthese Library book series (SYLI, volume 341)

| Cite as

Relativization of Real Numbers to a Universe

  • Hajime Ishihara

Abstract

We discuss a relativization of real numbers to a universe given by a function algebra, and develop a tentative theory of relativized real numbers. We show that the class R(Ϝptime) of real numbers, obtained by relativizing to the class F Ptime of polynomial time computable functions, is a proper subclass of the class R(ε) of real numbers, obtained by relativizing to the class ε of elementary functions. We show the Cauchy completeness of relativized real numbers, and that we can prove the (constructive or approximate) intermediate value theorem if our universe is closed under a closure condition used to characterize the polynomial time computable functions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Errett Bishop, Foundations of Constructive Mathematics, McGraw-Hill, New York, 1967.Google Scholar
  2. 2.
    Errett Bishop and Douglas Bridges, Constructive Analysis, Springer, Berlin, 1985.MATHGoogle Scholar
  3. 3.
    Peter Clote, Computational models and functional algebras, In E.R. Griffor ed., Handbook of Computability Theory, North-Holland, Amsterdam, 1999.Google Scholar
  4. 4.
    Alan Cobham, The intrinsic computational difficulty of functions, In Y. Bar-Hillel ed., Logic, Methodology and Philosophy of Science II, North-Holland, Amsterdam, 24–30, 1965.Google Scholar
  5. 5.
    P. Csillag, Eine Bemerkung zur Auflosung der eingeschachtelten Rekursion, Acta Sci. Math. Szeged. 11, 169–173, 1947.MathSciNetGoogle Scholar
  6. 6.
    Hajime Ishihara, Function algebraic characterizations of the polytime functions, Comput. Complexity 8, 346–356, 1999.MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Hajime Ishihara, Feasibly constructive analysis, Sūrikaisekikenkyūsho Kōkyūroku 1169, 76–83, 2000.MATHGoogle Scholar
  8. 8.
    Hajime Ishihara, Constructive reverse mathematics: compactness properties, In L. Crosilla and P. Schuster eds., From Sets and Types to Analysis and Topology: Towards Practicable Foundations for Constructive Mathematics, Oxford University Press, Oxford, 245–267, 2005.Google Scholar
  9. 9.
    Neil D. Jones, Computability and Complexity: From a Programming Perspective, MIT Press, Cambridge, 1997.MATHGoogle Scholar
  10. 10.
    László Kalmár, Egyszerü példa eldönthetetlen aritmetikai problémára, Mate és Fizikai Lapok. 50, 1–23, 1943.MATHGoogle Scholar
  11. 11.
    Ker-I Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991.MATHGoogle Scholar
  12. 12.
    Lars Kristiansen, Neat function algebraic characterizations of logspace and linspace, Comput. Complexity 14, 72–88, 2005.MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Marian B. Pour-El and Jonathan I. Richards, Computability in Analysis and Physics, Springer, New York, Berlin, 1989.MATHGoogle Scholar
  14. 14.
    Harvey E. Rose, Subrecursion: Functions and Hierarchies, Oxford University Press, Oxford, 1984.Google Scholar
  15. 15.
    Anne S. Troelstra and Dirk van Dalen, Constructivism in Mathematics, Vol. I. An Introduction, North-Holland, Amsterdam, 1988.Google Scholar
  16. 16.
    Klaus Weihrauch, Computable Analysis, Springer, Berlin, 2000.MATHGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Hajime Ishihara
    • 1
  1. 1.School of Information ScienceJapan Advanced Institute of Science and TechnologyNomiJapan

Personalised recommendations