Bittencourt Rios, Gabriel, and Hugo Luiz Mariano. “Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory”. Latin American Journal of Mathematics 2, no. 01 (May 11, 2023): 12–50. Accessed May 4, 2024. https://www.lajm.ufscar.br/index.php/capa/article/view/8.