Domain theoretic models of topological spaces
نویسنده
چکیده
A model of a space X is simply a continuous dcpo D and a homeomorphism : X ! max D, where max D is given its inherited Scott topology. We show that a space has a coherent model ii it has a Scott domain model and investigate the topological structure of spaces which have G models.
منابع مشابه
Weak hyper semi-quantales and weak hypervalued topological spaces
The purpose of this paper is to construct a weak hyper semi-quantale as a generalization of the concept of semi-quantale and used it as an appropriate hyperlattice-theoretic basis to formulate new lattice-valued topological theories. Based on such weak hyper semi-quantale, we aim to construct the notion of a weak hypervalued-topology as a generalized form of the so-called lattice-valued t...
متن کاملTopological Scott Convergence Theorem
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of T0 spaces instead of restricting to posets. In this paper, we respond to this calling with an attempt to formulate a topological version of the Scott Convergence Theorem, i.e., order-theoretic characterisation of those posets for which the Scott-co...
متن کاملCompactly generated domain theory
We propose compactly generated monotone convergence spaces as a well-behaved topological generalization of directed-complete partial orders (dcpos). The category of such spaces enjoys the usual properties of categories of “predomains” in denotational semantics. Moreover, such properties are retained if one restricts to spaces with a countable pseudobase in the sense of E. Michael, a fact that p...
متن کاملOn A New Convergence Class in Sup-sober Spaces
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of T0-spaces instead of restricting to posets. In this paper, we respond to this calling by proving a topological parallel of a 2005 result due to B. Zhao and D. Zhao, i.e., an order-theoretic characterisation of those posets for which the Scott-conve...
متن کاملOn a new convergence class in k-bounded sober spaces
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of T0 spaces instead of restricting to posets. In this paper, we respond to this calling by proving a topological parallel of a 2005 result due to B. Zhao and D. Zhao, i.e., an order-theoretic characterisation of those posets for which the lim-inf con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 13 شماره
صفحات -
تاریخ انتشار 1998