منابع مشابه
Measure Extension Theorems for T0-spaces
The theme of this paper is the extension of continuous valuations on the lattice of open sets of a T0-space to Borel measures. A general extension principle is derived that provides a unified approach to a variety of extension theorems including valuations that are directed suprema of simple valuations, continuous valuations on locally compact sober spaces, and regular valuations on coherent so...
متن کاملA Cancellation Law for Partially Ordered Sets and T0 Spaces
In this paper we prove a cancellation law in the category (1) of partially ordered sets and (2) of T0 spaces, the respective conditions on the common factor being that it have (1) an irreducible bottom element and (2) an irreducible bottom element in its specialization order.
متن کاملEffectivity on Subsets and Continuous Functions in Computable T0-spaces
We investigate aspects of effectivity and computability on open, closed and quasi-compact sets as well as partial continuous functions in computable T0spaces. A computable T0-space is a second countable T0-spaces with a notation of a base whose domain is recursive and computable intersection on the base. As we do not suppose our space to be a Hausdorff space, we don’t talk about compact subsets...
متن کاملPolar Actions on Compact Irreducible Symmetric Spaces Are Taut
We prove that the orbits of a polar action of a compact Lie group on a compact irreducible symmetric space are tautly embedded with respect to Z2-coefficients.
متن کاملSemantic domains , injective spaces and monads ( extended abstract )
Many categories of semantic domains can be considered from an order-theoretic point of view and from a topological point of view via the Scott topology. The topological point of view is particularly fruitful for considerations of computability in classical spaces such as the Euclidean real line. When one embeds topological spaces into domains, one requires that the Scott continuous maps between...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00415-1