@mastersthesis{mastersthesis80f9efeb,
title   = {Forcing: posets, boolean algebras and sheaves},
author = {Smykalla, Michel Viana and Fajardo, Rogério Augusto dos Santos},
year = {2024},
doi = {10.11606/D.45.2024.tde-27112024-151034},
school = {Universidade de São Paulo}
}