Monthly Archives: January 2016

In my first post on ideal domains, I thought I would be able to extend Keye Martin’s result from metric to quasi-metric spaces. That was more complicated than what I had thought. Along my journey, I (re)discovered a few results, … Continue reading →

Last time, we have seen that every completely metrizable space X has an ideal model, that is, that X can be embedded into an ideal domain Y in such a way that we can equate X with the subspace of … Continue reading →