Preservation theorems for bounded formulas