Generic regular universes in higher order gravity theories
We review recent results on the Cauchy-Kowalevsky structure of theories with higher derivatives in vacuum. We prove genericity of regularity of solutions under the assumption of analyticity. Our approach is framed in the general context of formal series expansions of the metric around a regular point.