 Formal models suffer from a problem of uniqueness, since blow-ups allow more than one formal scheme to describe the same rigid space.Huber worked out a theory of "adic spaces" to resolve this, by taking a limit over all blow-ups.These spaces are quasi-compact, quasi-separated, and functorial in the rigid space, but lack a lot of nice topological properties.