Bittencourt Rios G, Luiz Mariano H. Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory. LAJM [Internet]. 2023 May 11 [cited 2024 May 4];2(01):12-50. Available from: https://www.lajm.ufscar.br/index.php/capa/article/view/8