Smyth, M.B.; Webster, J.(Universitat Politècnica de València, 2002-10-01)
[EN] Finite approximation of spaces by inverse sequences of graphs (in the category of so-called topological graphs) was introduced by Smyth, and developed further. The idea was subsequently taken up by Kopperman and Wilson, ...
Mendoza Iturralde, Pablo; Tkachuk, Vladimir V.(Universitat Politècnica de València, 2002-10-01)
[EN] We show that X is cofinitely projective if and only if it is a finite union of Alexandroff compactatifications of discrete spaces. We also prove that X is co-countably projective if and only if X admits no disjoint ...
Schellekens, M.P.(Universitat Politècnica de València, 2002-10-01)
[EN] The domain theoretic notion of lifting allows one to extend a partial order in a trivial way by a minimum. In the context of Quantitative Domain Theory partial orders are represented as quasi-metric spaces. For such ...
Bosi, Gianni; Herden, Gerhard(Universitat Politècnica de València, 2002-10-01)
[EN] Let X be an arbitrary set. Then a topology t on X is completely useful if every upper semicontinuous linear preorder on X can be represented by an upper semicontinuous order preserving real-valued function. In this ...
Gusso, Riccardo(Universitat Politècnica de València, 2002-10-01)
[EN] We study the behaviour of large, small and medium subsets with respect to homomorphisms and products of groups. Then we introduce the definition af a P-small set in abelian groups and we investigate the relations ...