Seguir
Gabriel Bittencourt Rios
Gabriel Bittencourt Rios
Undergraduate student, Universidade de São Paulo
E-mail confirmado em usp.br
Título
Citado por
Citado por
Ano
Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory
GB Rios, HL Mariano
Latin American Journal of Mathematics 2 (01), 12-50, 2023
12023
Connecting abstract logics and adjunctions in the theory of (-)institutions: some theoretical remarks and applications
GB Rios, DA Souza, DC Pinto, HL Mariano
arXiv preprint arXiv:2002.00298, 2020
12020
On homotopical and cohomological interpretations of Logic
T Alexandre, GB Rios, HL Mariano
arXiv preprint arXiv:2304.13786, 2023
2023
Connecting abstract logics and adjunctions in the theory of (-)institutions: some theoretical remarks and applications
G Bittencourt Rios, D de Almeida Souza, D Conceição Pinto, HL Mariano
arXiv e-prints, arXiv: 2002.00298, 2020
2020
Interpretaçao co-homológica e homotópica da teoria de modelos
T Alexandre, GB Rios, HL Mariano
BOOK OF ABSTRACTS LIVRO DE RESUMOS, 40, 0
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–5