Both ultrapowers and reduced powers are used as a `magnifying glass’ to study countable structures. (This applies to separable metric structures in continuous logic, and so does most of what I will say in the talk, but I will stick to classical, discrete, model theory.) I will discuss some similarities and differences between these two constructions.
