Characterizing all models in infinite cardinalities door Lauri Keskinen