Spaces of Valuations

@article{Heckmann1996SpacesOV,
  title={Spaces of Valuations},
  author={R. Heckmann},
  journal={Annals of the New York Academy of Sciences},
  year={1996},
  volume={806}
}
  • R. Heckmann
  • Published 1996
  • Biology
  • Annals of the New York Academy of Sciences
  • Valuations are measurelike functions mapping the open sets of a topological space X into positive real numbers. They can be classified into finite, point continuous, and Scott continuous valuations. We define corresponding spaces of valuations VfX⊂ VpX⊂VX. The main results of the paper are that VpX is the soberification of VfX, and that VpX is the free sober locally convex topological cone over X. From this universal property, the notion of the integral of a real‐valued function over a Scott… CONTINUE READING
    A characterization of partial metrizability: domains are quantifiable
    • 91
    • Open Access
    Extension of valuations on locally compact sober spaces
    • 13
    • Open Access
    Domains for computation in mathematics, physics and exact real arithmetic
    • 135
    • Open Access
    Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace
    • 16
    • Open Access
    Stably Compact Spaces and the Probabilistic Powerspace construction
    • 48
    • Open Access
    An extension result for continuous valuations
    • 23
    • Open Access
    Weightable quasi-metric semigroups and semilattices
    • 21
    • Open Access
    Towards a Convenient Category of Topological Domains
    • 21
    • Open Access
    Topological cones: functional analysis in a T0-setting
    • 22
    • Open Access
    The troublesome probabilistic powerdomain
    • 115
    • Open Access

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 20 REFERENCES
    Domain Theory and Integration
    • 146
    • Open Access
    Commutative ring theory: Frontmatter
    • 1,503
    Dynamical Systems, Measures and Fractals via Domain Theory
    • 155
    • Open Access
    The Versatile Continuous Order
    • 84
    • Open Access
    Computational lambda-calculus and monads
    • 1,000
    • Open Access
    A probabilistic powerdomain of evaluations
    • 361
    • Open Access
    Lower Bag Domains
    • 10
    Stetige Bewertungen auf topologischen R?aumen
    • 41
    • Highly Influential
    Bereiche und Bewertungen
    • 1993