# Ultraproducts by countably complete ultrafilter

I've recently learned about ultraproducts, but the source I learned from almost immediately after the definitions restricted to talking about countably incomplete ultrafilters. I know that the existence of countably complete ultrafilters is a large cardinal issue, but aside from this, is there a reason to focus on the countably incomplete case? Do ultraproducts (or even just ultrapowers) with a countably complete ultrafilter behave very differently from the countably incomplete ones?

It would be great to have an example of the kinds of differences that happen, ideally in a fairly down-to-earth setting (maybe groups, or fields, or graphs?). The few places I've seen talk about countably complete ultrafilters all seem to be taking ultrapowers of models of ZFC, which is a bit much for me to grasp at this point. Since I just want to see the differences, it's fine with me if some set-theoretic hypotheses are needed to make the examples work.

• Ultrapowers of many familiar structures by a countably complete ultrafilter don’t give you anything new, because the structures are too small. This is clear for countable structures, but it’s also the case, for instance, that such an ultrapower of $\langle\Bbb R,\le\rangle$ is isomorphic to $\langle\Bbb R,\le\rangle$. – Brian M. Scott Nov 21 '13 at 20:59
• Thanks! If we start with a structure which is large enough (which, I guess, is at least as large as the first measurable), does the ultrapower gain any nice properties? For example, in the countably incomplete case ultrapowers of countable structures are countably saturated, and hence have some degree of universality and homogeneity. Does anything like that happen in this case? – jsmith Nov 26 '13 at 18:20