Switch to: Citations

Add references

You must login to add references.
  1. Complete local rings as domains.V. Stoltenberg-Hansen & J. V. Tucker - 1988 - Journal of Symbolic Logic 53 (2):603-624.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Notation Systems and Recursive Ordered Fields.Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (4):650-651.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Recursive Metric Spaces.Y. N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (4):651-652.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • A note on computable real fields.E. W. Madison - 1970 - Journal of Symbolic Logic 35 (2):239-241.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
    Berger, U., Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 91-117. Total sets and objects generalizing total functions are introduced into the theory of effective domains of Scott and Ersov. Using these notions Kreisel's Density Theorem and the Theorem of Kreisel-Lacombe-Shoenfield are generalized. As an immediate consequence we obtain the well-known continuity of computable functions on the constructive reals as well as a domain-theoretic characterization of the Heriditarily Effective Operations.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
    We show that metric spaces and continuous functions between them are domain representable using the category of Scott-Ershov domains. A notion of effectivity for metric spaces is thereby inherited from effective domain theory. It is shown that a separable metric space with an effective metric can be represented by an effective domain. For a class of spaces, including the Euclidean spaces, the usual notions of effectivity are obtained. The Banach fixed point theorem is a consequence of the least fixed point (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations