Continuous Lattices and Domains

G. Gierz, C. L., Domains, E. o. M., & its Applications 93, C. U. P. (2003). Continuous Lattices and Domains. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

2003

ISBN

9780521803380

Link

https://openlibrary.org/books/OL15534329Mmatched

Cited by

4 citations across 4 artifacts.

Domain-specific

• Bounded complete poset
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Complete Heyting algebra
  • … a convenient observable transfers from The lattice O(X) of open subsets of a topological space X, ordered by inclusion, is a frame. to A locale is presented opposite to a frame category, so a continuous map is represented contravariantly by an inverse-image homomorphism preserving finite meets and arbitrary joins..
• Ideal (order theory)
  • Order ideals support ideal completion, domains and lattice representations; some authors allow the empty ideal or use order ideal for any lower set, so directedness and nonemptiness must be declared.
• Specialization preorder
  • … closure or neighborhood-inclusion definition, reflexivity and transitivity, equivalence of indistinguishable points, T0 and T1 consequences, and order-topology relation are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:8bebf9de80a8 · see in the full table