Computational models for ultrametric spaces

Abstract For every ultrametric space, the set of closed balls of radius 0 or 2 - n for some n , form an algebraic poset under reverse inclusion. If the ultrametric space is complete separable, then they form a Scott computational model for it. Conversely, every topological space with an algebraic computational model is a complete separable ultrametrizable space.

[1]  Tsutomu Kamimura,et al.  Total Objects of Domains , 1984, Theor. Comput. Sci..

[2]  Abbas Edalat.  Domain Theory and Integration , 1995, Theor. Comput. Sci..

[3]  Jimmie D. Lawson,et al.  Spaces of maximal points , 1997, Mathematical Structures in Computer Science.

[4]  Abbas Edalat,et al.  A Computational Model for Metric Spaces , 1998, Theor. Comput. Sci..

[5]  Abbas Edalat,et al.  Dynamical Systems, Measures and Fractals via Domain Theory , 1993, Inf. Comput..

[6]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .