Singularities in Mixed Characteristic