Monster model (source code)

= Monster model
{title2=$\mathcal U$}

A monster model is a fixed sufficiently saturated and strongly homogeneous model of a complete theory, of a cardinality much larger than every parameter set under discussion.