Gianni Arioli Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem (1329K, postscript) ABSTRACT. This paper concerns the restricted 3-body problem. By applying topological methods we give a computer assisted proof of the existence of some classes of periodic orbits, the existence of symbolic dynamics on five symbols and we give a rigorous lower estimate for the topological entropy.