ReP USP - Resultado da busca

Artigo de periodico
Sheaf categories on semicartesian monoidal categories: logical and cohomological aspects (2023)
Tenorio, Ana Luiza ; Mariano, Hugo Luiz
Fonte: Boletin de Matematicas. Unidade: IME
Assuntos: CATEGORIAS TOPOLÓGICAS, TEORIA DAS CATEGORIAS, FEIXES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MARIANO, Hugo Luiz. Sheaf categories on semicartesian monoidal categories: logical and cohomological aspects. Boletin de Matematicas, v. 30, n. 2, p. 1-6, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112562. Acesso em: 11 jun. 2024.
APA
Tenorio, A. L., & Mariano, H. L. (2023). Sheaf categories on semicartesian monoidal categories: logical and cohomological aspects. Boletin de Matematicas, 30( 2), 1-6. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112562
NLM
Tenorio AL, Mariano HL. Sheaf categories on semicartesian monoidal categories: logical and cohomological aspects [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-6.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112562
Vancouver
Tenorio AL, Mariano HL. Sheaf categories on semicartesian monoidal categories: logical and cohomological aspects [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-6.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112562
Artigo de periodico
Horn filter pairs and Craig interpolation in propositional logic (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Boletin de Matematicas. Unidade: IME
Assuntos: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 11 jun. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Artigo de periodico
The essence of Scott's "continuous lattices" (2023)
Meleiro, Juan Ferrer ; Mariano, Hugo Luiz
Fonte: Boletin de Matematicas. Unidade: IME
Assuntos: TEORIA DAS CATEGORIAS, FILOSOFIA DA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELEIRO, Juan Ferrer e MARIANO, Hugo Luiz. The essence of Scott's "continuous lattices". Boletin de Matematicas, v. 30, n. 2, p. 1-4, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112746. Acesso em: 11 jun. 2024.
APA
Meleiro, J. F., & Mariano, H. L. (2023). The essence of Scott's "continuous lattices". Boletin de Matematicas, 30( 2), 1-4. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112746
NLM
Meleiro JF, Mariano HL. The essence of Scott's "continuous lattices" [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-4.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112746
Vancouver
Meleiro JF, Mariano HL. The essence of Scott's "continuous lattices" [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-4.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112746
Artigo de periodico
Filter pairs and natural extensions of logics (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Archive for Mathematical Logic. Unidade: IME
Assuntos: LÓGICA ALGÉBRICA, RETICULADOS, ESTRUTURAS ALGÉBRICAS ORDENADAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Filter pairs and natural extensions of logics. Archive for Mathematical Logic, v. 62, n. 1-2, p. 113-145, 2023Tradução . . Disponível em: https://doi.org/10.1007/s00153-022-00834-6. Acesso em: 11 jun. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Filter pairs and natural extensions of logics. Archive for Mathematical Logic, 62( 1-2), 113-145. doi:10.1007/s00153-022-00834-6
NLM
Arndt P, Mariano HL, Pinto DC. Filter pairs and natural extensions of logics [Internet]. Archive for Mathematical Logic. 2023 ; 62( 1-2): 113-145.[citado 2024 jun. 11 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Vancouver
Arndt P, Mariano HL, Pinto DC. Filter pairs and natural extensions of logics [Internet]. Archive for Mathematical Logic. 2023 ; 62( 1-2): 113-145.[citado 2024 jun. 11 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Trabalho de evento-anais periodico
Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory (2023)
Rios, Gabriel Bittencourt ; Mariano, Hugo Luiz
Fonte: Latin American Journal of Mathematics. Nome do evento: Encontro Paulista da Pós-Graduação em Matemáticas. Unidade: IME
Assuntos: TEORIA DAS CATEGORIAS, LÓGICA CATEGÓRICA, FEIXES, GEOMETRIA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIOS, Gabriel Bittencourt e MARIANO, Hugo Luiz. Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory. Latin American Journal of Mathematics. São Carlos: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.5281/zenodo.7926048. Acesso em: 11 jun. 2024. , 2023
APA
Rios, G. B., & Mariano, H. L. (2023). Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory. Latin American Journal of Mathematics. São Carlos: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.5281/zenodo.7926048
NLM
Rios GB, Mariano HL. Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory [Internet]. Latin American Journal of Mathematics. 2023 ; 2( 1): 12-50.[citado 2024 jun. 11 ] Available from: https://doi.org/10.5281/zenodo.7926048
Vancouver
Rios GB, Mariano HL. Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory [Internet]. Latin American Journal of Mathematics. 2023 ; 2( 1): 12-50.[citado 2024 jun. 11 ] Available from: https://doi.org/10.5281/zenodo.7926048
Artigo de periodico
Separation theorems in the commutative algebra of C∞-rings and applications (2023)
Berni, Jean Cerqueira ; Mariano, Hugo Luiz
Fonte: Communications in Algebra. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS COMUTATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. Separation theorems in the commutative algebra of C∞-rings and applications. Communications in Algebra, v. 51, n. 5, p. 2014-2044, 2023Tradução . . Disponível em: https://doi.org/10.1080/00927872.2022.2149765. Acesso em: 11 jun. 2024.
APA
Berni, J. C., & Mariano, H. L. (2023). Separation theorems in the commutative algebra of C∞-rings and applications. Communications in Algebra, 51( 5), 2014-2044. doi:10.1080/00927872.2022.2149765
NLM
Berni JC, Mariano HL. Separation theorems in the commutative algebra of C∞-rings and applications [Internet]. Communications in Algebra. 2023 ; 51( 5): 2014-2044.[citado 2024 jun. 11 ] Available from: https://doi.org/10.1080/00927872.2022.2149765
Vancouver
Berni JC, Mariano HL. Separation theorems in the commutative algebra of C∞-rings and applications [Internet]. Communications in Algebra. 2023 ; 51( 5): 2014-2044.[citado 2024 jun. 11 ] Available from: https://doi.org/10.1080/00927872.2022.2149765
Artigo de periodico
On categories of quantale valued sets (2023)
Alvim, José Goudet ; Mendes, Caio de Andrade; Mariano, Hugo Luiz
Fonte: Boletin de Matematicas. Unidade: IME
Assuntos: TEORIA DAS CATEGORIAS, CATEGORIAS TOPOLÓGICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José Goudet e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. On categories of quantale valued sets. Boletin de Matematicas, v. 30, n. 2, p. 1-7, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112590. Acesso em: 11 jun. 2024.
APA
Alvim, J. G., Mendes, C. de A., & Mariano, H. L. (2023). On categories of quantale valued sets. Boletin de Matematicas, 30( 2), 1-7. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112590
NLM
Alvim JG, Mendes C de A, Mariano HL. On categories of quantale valued sets [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-7.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112590
Vancouver
Alvim JG, Mendes C de A, Mariano HL. On categories of quantale valued sets [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-7.[citado 2024 jun. 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112590

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos