Here is the list of posts on models, so far:
- Models improved
- Ideal models, remainders (sublist)
- Bounded-complete and dcpo models of T1 spaces
- The Sorgenfrey line is not consonant (see Appendix B for a funny dcpo model of Rℓ)
- First-countable spaces and their Smyth powerdomain