Published papers
Nonstandard proof methods in toposes
José Siqueira
Annals of Pure and Applied Logic, vol. 175(5), 2024
Artin glueings of toposes as adjoint split extensions
Peter F. Faul, Graham Manuell, José Siqueira
Journal of Pure and Applied Algebra, vol. 227(5), 2023
2-dimensional bifunctor theorems and distributive laws
Peter F. Faul, Graham Manuell, José Siqueira
Theory and Applications of Categories, vol. 37(34), 2021, pp. 1149-1175
Other writing
Dialectica for Constructible Falsity
Valeria de Paiva, José Siqueira
Coleção CLE, Andréa Loparić on semantics for non-classical logics: essays in honour of Andréa Loparić, chapter 19, 2025 Aug 21
Tripos models of Internal Set Theory
J. V. Paiva Miranda de Siqueira
University of Cambridge, https://www.repository.cam.ac.uk/handle/1810/331351, 2022 Jan 29