On existence of mini-boson stars

We prove the existence of a countable family of globally regular solutions of spherically symmetric Einstein-Klein-Gordon equations. These solutions, known as mini-boson stars, were discovered numerically many years ago.