Searching for "Continuous Semilattices." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Preframe Presentations Present
- … - Gierz et al. [80] call preframes "meet continuous semilattices".) The original result for the sup…
- Cited by 7 (3 self) – Add To MetaCart
-
Stably Compact Spaces and Closed Relations
- … closed relation then 8R is a continuous semilattice homomorphism from Y ) to X), i.e. it preserves…
- Cited by 5 (1 self) – Add To MetaCart
-
Meet -- Continuous Lattices
- … holds x = sup(fxg u D): (53) For every up-complete semilattice L holds L is meet-continuous iff u…
- Cited by 21 (7 self) – Add To MetaCart
-
On the Characterization of Hausdorff Spaces
- … Next we state a number of propositions: (9) Let L1 be a semilattice, L2 be a non empty relational…
- Add To MetaCart
-
Discrete Approximation of Spaces -- A Uniform Approach to Topologically Structured Datatypes and their Function Spaces
- … subsets of the space under consideration [Smy83]. Being a continuous semilattice, the upper power space…
- Add To MetaCart
-
The Properties of Product of Relational Structures
- …; T :] is distributive, then T is distributive. Let S, T be meet-continuous semilattices. Observe that [: S…
- Add To MetaCart
-
The Properties of Product of Relational Structures
- …, T :] is distributive, then T is distributive. Let S, T be meet-continuous semilattices. Note that [: S, T :] satisfies…
- Add To MetaCart
-
Integration in real PCF
- …, and for any continuous ⊓-semilattice D, the meet map � : UD → D is well-defined and continuous. Since R is a…
- Cited by 6 (3 self) – Add To MetaCart
-
On the Baire Category Theorem
- … open. Let L be a continuous semilattice and let x be an element of L. Note that \Gamma#x is open. One…
- Add To MetaCart
-
A characterization of partial metrizability: Domains are quantifiable
- … the semilattice operation is quasi-uniformly continuous. Quasiuniform lattices are defined in a similar way, where…
- Cited by 7 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
