1: \begin{abstract}

2:   \noindent Using the notion of formal ball, we present a few easy,

3:   new results in the theory of quasi-metric spaces.  With no specific

4:   order: every continuous Yoneda-complete quasi-metric space is sober

5:   and convergence Choquet-complete hence Baire in its $d$-Scott

6:   topology; for standard quasi-metric spaces, algebraicity is

7:   equivalent to having enough center points; on a standard

8:   quasi-metric space, every lower semicontinuous $\creal$-valued

9:   function is the supremum of a chain of Lipschitz Yoneda-continuous

10:   maps; the continuous Yoneda-complete quasi-metric spaces are exactly

11:   the retracts of algebraic Yoneda-complete quasi-metric spaces; every

12:   continuous Yoneda-complete quasi-metric space has a so-called

13:   quasi-ideal model, generalizing a construction due to K. Martin.

14:   The point is that all those results reduce to domain-theoretic

15:   constructions on posets of formal balls.

16: \end{abstract}

17: