Bittencourt Rios, Gabriel, and Hugo Luiz Mariano. 2023. “Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory”. Latin American Journal of Mathematics 2 (01):12-50. https://doi.org/10.14244/lajm.v2i01.8.