Title: A Poincaré-Bendixson theorem for flows with arbitrarily many singular points

Abstract: The Poincar\'e-Bendixson theorem is generalized into one for flows with arbitrarily many singular points on compact surfaces. In fact, the $\omega$-limit set of any non-closed orbit is either a nowhere dense subset of singular points, a limit cycle, a limit ``quasi-circuit'' which is the image of a circle, a limit ``quasi-circuit'' which is not locally connected, a locally dense Q-set, a transversely Cantor Q-set, or a ``quasi-Q-set'' which consists of singular points and of separatrices from and to boundary components of the singular point set exclusively. This characterization of $\omega$-limit set of a point implies topological characterizations of recurrence, which is a generalization of the Ma\v \i er's description of recurrence. Moreover, if the singular point set is totally disconnected, then any non-recurrent orbits in the $\omega$-limit set of a point are from and to singular points. In addition, analogous results hold for surfaces of finite genus via the end completions. Furthermore, if there are at most finitely many singular points, then any limit ``quasi-circuits'' correspond to limit circuits and any ``quasi-Q-sets'' correspond to Q-sets. We construct examples of flows with quasi-circuits that are not circuits and of flows with quasi-Q-sets that are not Q-sets.