Domains and orders

Here is the list of posts on domains and posets, as opposed to more general topological spaces, so far:

  1. Bourbaki, Witt, and Dito Pataraia
  2. Quasi-continuous dcpos and locally finitary compact spaces
  3. Iwamura’s lemma, Markowsky’s theorem and ordinals
  4. Coherence of dcpos
  5. Well-filtered dcpos
  6. Markowsky or Cohn?
  7. FS-domains of discs and formal balls
  8. Dcpos and convergence spaces I: Scott and Heckmann convergences
  9. Dcpos and convergence spaces II: preserving products
  10. Bc-hulls and Clat-hulls
  11. Quotients, colimits of dcpos, and related matters
  12. Dcpos built as graphs of functions
  13. X. Jia’s well-filtered, non-sober dcpo
  14. Quasi-Polish spaces and rounded ideal completions
  15. Zhao, Xi, and Chen’s well-filtered, non-sober dcpo
  16. Plotkin’s powerdomain and the hedgehog
  17. L-domains, stable open sets, and stable Stone duality
  18. A report from ISDT’22: one-step closure; c-spaces are not CCC
  19. Scott’s formula
  20. On products of dcpos, the Miao-Xi-Li-Zhao lemma, and the complete lattice Lfan (part I)
  21. Posets determined by countably many core-compact subspaces

— Jean Goubault-Larrecqjgl-2011