Switch to: Citations

Add references

You must login to add references.
  1. Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
  • Real numbers, continued fractions and complexity classes.Salah Labhalla & Henri Lombardi - 1990 - Annals of Pure and Applied Logic 50 (1):1-28.
    We study some representations of real numbers. We compare these representations, on the one hand from the viewpoint of recursive functionals, and of complexity on the other hand.The impossibility of obtaining some functions as recursive functionals is, in general, easy. This impossibility may often be explicited in terms of complexity: - existence of a sequence of low complexity whose image is not a recursive sequence, - existence of objects of low complexity but whose images have arbitrarily high time- complexity .Moreover, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Streamlined subrecursive degree theory.Lars Kristiansen, Jan-Christoph Schlage-Puchta & Andreas Weiermann - 2012 - Annals of Pure and Applied Logic 163 (6):698-716.
  • Continued fractions of primitive recursive real numbers.Ivan Georgiev - 2015 - Mathematical Logic Quarterly 61 (4-5):288-306.