Algebraic geometry
Algebraic geometry based on formal schemes is called formal algebraic geometry.