Switch to: Citations

Add references

You must login to add references.
  1. Computability of Self‐Similar Sets.Hiroyasu Kamo & Kiko Kawamura - 1999 - Mathematical Logic Quarterly 45 (1):23-30.
    We investigate computability of a self-similar set on a Euclidean space. A nonempty compact subset of a Euclidean space is called a self-similar set if it equals to the union of the images of itself by some set of contractions. The main result in this paper is that if all of the contractions are computable, then the self-similar set is a recursive compact set. A further result on the case that the self-similar set forms a curve is also discussed.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Konstruktive Darstellungen Reeller Zahlen und Folgen.Jürgen Hauck - 1978 - Mathematical Logic Quarterly 24 (19‐24):365-374.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Konstruktive Darstellungen Reeller Zahlen und Folgen.Jürgen Hauck - 1978 - Mathematical Logic Quarterly 24 (19-24):365-374.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.
    We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence and (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Complexity for type-$2$ relations. [REVIEW]Mike Townsend - 1990 - Notre Dame Journal of Formal Logic 31 (2):241-262.
    Download  
     
    Export citation  
     
    Bookmark   3 citations