Ultraproducts which are not saturated (1967)

by H J Keisler
Venue:J. Symbolic Logic