Quasi-compact formal algebraic spaces