Uma introdução a técnicas de forcing - Sia, Maurício Gibertoni; Aurichi, Leandro Fiorini (Simpósio de Matemática para a Graduação - SIM, 2022)