We classify all sub-cartesian closed categories of the category of separable Scott domains. The classification employs a notion of coherence degree determined by the possible inconsistency patterns of sets of finite elements of a domain. Using the classification, we determine all sub-cartesian closed categories of the category of separable Scott domains that contain a universal object. The sepa...

the purpose of this paper is to introduce the concept of pairwise f-closedness in bitopological spaces. this space contains both of pairwise strongcompactness and pairwise s-closedness and contained in pairwise quasi h-closedness. the characteristics and relationships concerning this new class ofspaces with other corresponding types are established. moreover, several ofits basic and important p...

This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives licence (http://creativecommons.org/ licenses/by-nc-nd/4.0/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is unaltered and is properly cited. The written permission of Cambridge University Press must be obta...

The aim of the paper is to first investigate some properties of the hyperspace $theta(X)$, and then in the next article it deals with some detailed study of a special type of subspace $downarrowtheta C(X)$ of the space $theta (Xtimes mathbb I)$.

H-fields are fields with an ordering and a derivation subject to some compatibilities. (Hardy fields extending R and fields of transseries over R are H-fields.) We prove basic facts about the location of zeros of differential polynomials in Liouville closed H-fields, and study various constructions in the category of H-fields: closure under powers, constant field extension, completion, and buil...