Ultraproducts which are not Saturated.

H. Jerome Keisler

Published in: J. Symb. Log. (1967)

Keyphrases

higher order
data processing
computer vision
high quality
pattern recognition
computational complexity
multiresolution
multi objective