Given structures $A_i$ each of cardinality $<\kappa$ where $\kappa$ is a measurable cardinal, and $\mathcal{U}$ a $\kappa$-complete ultrafilter, what is the cardinality of the ultraproduct $\prod A_i/\mathcal{U}$?
Cardinality of an ultraproduct
user38200
- 1.4k
- 8
- 13