@mastersthesis{mastersthesis9ad85702,
title   = {Extensões de submodelos elementares por forcing},
author = {Passos, Marcelo Dias and Junqueira, Lucia Renato},
year = {2007},
school = {Universidade de São Paulo}
}