Let X be a compact connected subset of Rd with non-empty interior, and T : X → X a real analytic full branch expanding map with countably many branches. Elements of a thermodynamic formalism for such systems are developed, including criteria for compactness of transfer operators acting on spaces of bounded holomorphic functions. In particular a new sufficient condition for the existence of a T ...