SATURATED MODELS FOR THE WORKING MODEL THEORIST
Yatir Halevi, Itay Kaplan · Bulletin of Symbolic Logic · 2023
Abstract We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.