Some Forcing Techniques: Ultrapowers, templates, and submodels - Joerg Brendle (2021)