On extensions of elementary submodels by forcing - Junqueira, Lucia Renato; Larson, Paul; Passos, Marcelo Dias (Logic Journal of IGPL, 2007)