On Extensions of Elementary Submodels by Forcing. - Lúcia R. Junqueira; Paul B. Larson; Marcelo D. Passos (Log. J. IGPL, 2007)