 Meet Uniform Continuous Posets
Received:September 24, 2018  Revised:April 28, 2019
Key Word: uniform set   uniform Scott set   complete Heyting algebra   meet uniform continuous poset   principal ideal   uniform continuous projection
Fund ProjectL:1.Intrinsic topological characterizations and information system representations of various domain structures(Natural Science Foundation of China, Grant No. 11671008). 2. Generalized domains and research on their computability(Natural Science Foundation of China, Grant No. 11101212) . 3. Representations of domains and studies of various generalized domains( the University Science Research Project of Jiangsu Province, Grant No.15KJD110006)
 Author Name Affiliation E-mail xuxin mao College of Science, Nanjing University of Aeronautics and Astronautics xuxinmao@yahoo.com
Hits: 80
Download times:
Abstract:
In this paper, as a generalization of uniform continuous posets, the concept of meet uniform continuous posets via uniform Scott sets is introduced. Properties and characterizations of meet uniform continuous posets are presented. The main results are: (1) A uniform complete poset $L$ is meet uniform continuous iff $\uparrow\!(U\cap \downarrow x)$ is a uniform Scott set for each $x\in L$ and each uniform Scott set $U$; (2) A uniform complete poset $L$ is meet uniform continuous iff for each $x\in L$ and each uniform subset $S$, one has $x\wedge \bigvee S=\bigvee \{x\wedge s\mid s\in S\}$. In particular, a complete lattice $L$ is meet uniform continuous iff $L$ is a complete Heyting algebra; (3) A uniform complete poset is meet uniform continuous iff every principal ideal is meet uniform continuous iff all closed intervals are meet uniform continuous iff all principal filters are meet uniform continuous; (4) A uniform complete poset $L$ is meet uniform continuous if $L^1$ obtained by adjoining a top element 1 to $L$ is a complete Heyting algebra. (5) Finite products and images of uniform continuous projections of meet uniform continuous posets are still meet uniform continuous.
Citation:
DOI:
View/Add Comment  Download reader