A theorem of Picard type (Q1083582)

The author extends some results of Picard type due to \textit{E. F. Collingwood} and \textit{M. L. Cartwright} [Acta Math. 87, 83-146 (1952; Zbl 0046.084)] to the case of Riemann surfaces of Parreau-Widom type. Let R be a regular Riemann surface of Parreau-Widom type [cf., for instance, the reviewer's notes ''Hardy classes on infinitely connected Riemann surfaces'' (1983; Zbl 0523.30028)]. Let \(R^*\) be the Martin compactification of R and set \(\Delta =R^*-R\). Then, for almost all \(p\in \Delta\) (with respect to any fixed harmonic measure on \(\Delta)\), we can draw (in R) Stolz domains of arbitrary opening \((<\pi)\) with vertex p. S(p) denotes the totality of such Stolz domains with vertex p [cf. Duke. Math. J. 43, 731-746 (1976; Zbl 0339.30025)]. Let f(z) be a meromorphic function on R. f is said to have angular limit at \(p\in \Delta\) if f tends uniformly to some limit inside any \(S\in S(p)\). We denote by \(F=F(f)\) (resp. \(P=P(f))\) the set of \(p\in \Delta\) such that f has angular limit at p (resp. f takes every value in the extended complex plane infinitely often in every neighborhood of p with two possible exceptions). The main theorem: Let f be meromorphic on R and let \(p\in \Delta\). Assume the condition (*): every neighborhood, in \(R^*\), of p intersects the boundary \(\Delta\) at a set of positive harmonic measure. Then either \(p\in P\) or \(p\in F'\) \((=the\) derived set of F). Corollary: If the condition (*) holds everywhere on \(\Delta\) and P is empty, then F is everywhere dense in \(\Delta\).