Continuous lattices and domains

Gierz, G., Hofmann, K., Keimel, K., Lawson, J., Mislove, M., & Scott, D. S. (2003). Continuous lattices and domains. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

2003

DOI

10.1017/cbo9780511542725

ISBN

9780521803380

DOI registrant

Cambridge University Press

Link

https://doi.org/10.1017/cbo9780511542725

Cited by

5 citations across 5 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..
• Core-compact space
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• 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

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 5 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:d8fed49bf369 · see in the full table