ReP USP - Resultado da busca

Trabalho de evento-resumo
Representation theory of logics: a categorial approach (2014)
Pinto, Darllan C; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan C e MARIANO, Hugo Luiz. Representation theory of logics: a categorial approach. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 24 abr. 2024.
APA
Pinto, D. C., & Mariano, H. L. (2014). Representation theory of logics: a categorial approach. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Artigo de periodico
Realizing profinite reduced special groups (2011)
Astier, Vincent; Mariano, Hugo Luiz
Source: Pacific Journal of Mathematics. Unidade: IME
Subjects: TEORIA DOS MODELOS, NÚMEROS ALGÉBRICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ASTIER, Vincent e MARIANO, Hugo Luiz. Realizing profinite reduced special groups. Pacific Journal of Mathematics, v. 250, n. 2, p. 257-285, 2011Tradução . . Disponível em: https://doi.org/10.2140/pjm.2011.250.257. Acesso em: 24 abr. 2024.
APA
Astier, V., & Mariano, H. L. (2011). Realizing profinite reduced special groups. Pacific Journal of Mathematics, 250( 2), 257-285. doi:10.2140/pjm.2011.250.257
NLM
Astier V, Mariano HL. Realizing profinite reduced special groups [Internet]. Pacific Journal of Mathematics. 2011 ; 250( 2): 257-285.[citado 2024 abr. 24 ] Available from: https://doi.org/10.2140/pjm.2011.250.257
Vancouver
Astier V, Mariano HL. Realizing profinite reduced special groups [Internet]. Pacific Journal of Mathematics. 2011 ; 250( 2): 257-285.[citado 2024 abr. 24 ] Available from: https://doi.org/10.2140/pjm.2011.250.257
Trabalho de evento-resumo
Algebraizable logics and a functorial encoding of its morphisms (2015)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Handbook of the 5th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. 2015, Anais.. Istanbul: Turkish Logic Society, 2015. Disponível em: https://www.uni-log.org/start5.html. Acesso em: 24 abr. 2024.
APA
Pinto, D. C., & Mariano, H. L. (2015). Algebraizable logics and a functorial encoding of its morphisms. In Handbook of the 5th World Congress and School on Universal Logic. Istanbul: Turkish Logic Society. Recuperado de https://www.uni-log.org/start5.html
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/start5.html
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/start5.html
Artigo de periodico-apres/intr
A festschrift for Francisco Miraglia. [Foreword] (2016)
Coniglio, Marcelo Esteban ; Mariano, Hugo Luiz ; Lopes, Vinicius Cifú
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONIGLIO, Marcelo Esteban e MARIANO, Hugo Luiz e LOPES, Vinicius Cifú. A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf. Acesso em: 24 abr. 2024. , 2016
APA
Coniglio, M. E., Mariano, H. L., & Lopes, V. C. (2016). A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
NLM
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Vancouver
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Trabalho de evento-resumo
Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
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 property. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 24 abr. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2019). Horn filter pairs and Craig interpolation property. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 24 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 24 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
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
Source: Latin American Journal of Mathematics. Conference titles: Encontro Paulista da Pós-Graduação em Matemáticas. Unidade: IME
Subjects: 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://doi.org/10.5281/zenodo.7926048
Trabalho de evento-resumo
A global approach to AECs (2014)
Mariano, Hugo Luiz ; Zambrano, Pedro H; Villaveces, Andrés
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e ZAMBRANO, Pedro H e VILLAVECES, Andrés. A global approach to AECs. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 24 abr. 2024.
APA
Mariano, H. L., Zambrano, P. H., & Villaveces, A. (2014). A global approach to AECs. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Mariano HL, Zambrano PH, Villaveces A. A global approach to AECs [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Mariano HL, Zambrano PH, Villaveces A. A global approach to AECs [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
Towards a good notion of categories of logics (2014)
Mendes, Caio A; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio A e MARIANO, Hugo Luiz. Towards a good notion of categories of logics. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 24 abr. 2024.
APA
Mendes, C. A., & Mariano, H. L. (2014). Towards a good notion of categories of logics. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Mendes CA, Mariano HL. Towards a good notion of categories of logics [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
κ-filter pairs and non-finitary logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
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 non-finitary logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 24 abr. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). κ-filter pairs and non-finitary logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Arndt P, Mariano HL, Pinto DC. κ-filter pairs and non-finitary logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Artigo de periodico
Remarks on propositional logics and the categorial relationship between institutions and Π-institutions (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: South American Journal of Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, v. 3, n. 1, p. 111–121, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf. Acesso em: 24 abr. 2024.
APA
Pinto, D. C., & Mariano, H. L. (2017). Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, 3( 1), 111–121. Recuperado de http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
NLM
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Vancouver
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Artigo de periodico
Categorial forms of the axiom of choice (2017)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Silva, Samuel Gomes da
Source: Logic Journal Of The IGPL. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS, ÁLGEBRA HOMOLÓGICA, TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael e MARIANO, Hugo Luiz e SILVA, Samuel Gomes da. Categorial forms of the axiom of choice. Logic Journal Of The IGPL, v. 25, n. 4, p. 408-430, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx020. Acesso em: 24 abr. 2024.
APA
Brunner, A. B. M., Mariano, H. L., & Silva, S. G. da. (2017). Categorial forms of the axiom of choice. Logic Journal Of The IGPL, 25( 4), 408-430. doi:10.1093/jigpal/jzx020
NLM
Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1093/jigpal/jzx020
Vancouver
Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1093/jigpal/jzx020
Parte de monografia/livro
Expansions of Galois theory in algebra: infinity Galois theory and applications (2014)
Mariano, Hugo Luiz
Source: In the steps of Galois: proceedings of the Evarist Galois Bicentenary Meeting. Conference titles: The Evariste Galois Bicentenary Meeting. Unidade: IME
Assunto: TEORIA DE GALOIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. Expansions of Galois theory in algebra: infinity Galois theory and applications. In the steps of Galois: proceedings of the Evarist Galois Bicentenary Meeting. Tradução . Paris: Hermann, 2014. . . Acesso em: 24 abr. 2024.
APA
Mariano, H. L. (2014). Expansions of Galois theory in algebra: infinity Galois theory and applications. In In the steps of Galois: proceedings of the Evarist Galois Bicentenary Meeting. Paris: Hermann.
NLM
Mariano HL. Expansions of Galois theory in algebra: infinity Galois theory and applications. In: In the steps of Galois: proceedings of the Evarist Galois Bicentenary Meeting. Paris: Hermann; 2014. [citado 2024 abr. 24 ]
Vancouver
Mariano HL. Expansions of Galois theory in algebra: infinity Galois theory and applications. In: In the steps of Galois: proceedings of the Evarist Galois Bicentenary Meeting. Paris: Hermann; 2014. [citado 2024 abr. 24 ]
Trabalho de evento-resumo periodico
On profinite structures (2009)
Mariano, Hugo Luiz
Source: Bulletin of Symbolic Logic. Conference titles: Latin American Symposium on Mathematical Logic - SLALM. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. On profinite structures. Bulletin of Symbolic Logic. New York: Cambridge University Press. Disponível em: https://doi.org/10.2178/bsl/1246453979. Acesso em: 24 abr. 2024. , 2009
APA
Mariano, H. L. (2009). On profinite structures. Bulletin of Symbolic Logic. New York: Cambridge University Press. doi:10.2178/bsl/1246453979
NLM
Mariano HL. On profinite structures [Internet]. Bulletin of Symbolic Logic. 2009 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.2178/bsl/1246453979
Vancouver
Mariano HL. On profinite structures [Internet]. Bulletin of Symbolic Logic. 2009 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.2178/bsl/1246453979
Artigo de periodico-apres/intr
Proceedings of the XVIII Brazilian Logic Conference. [Preface] (2018)
Arenhart, Jonas R. Becker ; Mariano, Hugo Luiz ; Sanz, Wagner C ; Ventura, Daniel
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARENHART, Jonas R. Becker et al. Proceedings of the XVIII Brazilian Logic Conference. [Preface]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf. Acesso em: 24 abr. 2024. , 2018
APA
Arenhart, J. R. B., Mariano, H. L., Sanz, W. C., & Ventura, D. (2018). Proceedings of the XVIII Brazilian Logic Conference. [Preface]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
NLM
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Vancouver
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Artigo de periodico
Filter pairs and natural extensions of logics (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Archive for Mathematical Logic. Unidade: IME
Subjects: 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Trabalho de evento-anais periodico
Finitary filter pairs and propositional logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, TEORIA DAS CATEGORIAS
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. Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf. Acesso em: 24 abr. 2024. , 2018
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Trabalho de evento-resumo
A Galois group functor for the category of special groups (2019)
Mariano, Hugo Luiz
Conference titles: Joint Meeting Brazil-France in Mathematics. Unidade: IME
Assunto: TEORIA DE GALOIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. A Galois group functor for the category of special groups. 2019, Anais.. Rio de Janeiro: Impa, 2019. Disponível em: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf. Acesso em: 24 abr. 2024.
APA
Mariano, H. L. (2019). A Galois group functor for the category of special groups. In . Rio de Janeiro: Impa. Recuperado de https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
NLM
Mariano HL. A Galois group functor for the category of special groups [Internet]. 2019 ;[citado 2024 abr. 24 ] Available from: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
Vancouver
Mariano HL. A Galois group functor for the category of special groups [Internet]. 2019 ;[citado 2024 abr. 24 ] Available from: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
Trabalho de evento-resumo
Categorial forms of the axiom of choice (2014)
Brunner, Andreas Bernhard Michael; Silva, Samuel Gomes da; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael e SILVA, Samuel Gomes da e MARIANO, Hugo Luiz. Categorial forms of the axiom of choice. 2014, Anais.. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo, 2014. Disponível em: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf. Acesso em: 24 abr. 2024.
APA
Brunner, A. B. M., Silva, S. G. da, & Mariano, H. L. (2014). Categorial forms of the axiom of choice. In Book of Abstracts. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
NLM
Brunner ABM, Silva SG da, Mariano HL. Categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Vancouver
Brunner ABM, Silva SG da, Mariano HL. Categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.uff.br/ebl/EBL_2014_book_of_abstracts.pdf
Trabalho de evento-resumo
An abstract approach to algebraizable logics with quantifiers (2018)
Mendes, Caio de Andrade; Mariano, Hugo Luiz
Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio de Andrade e MARIANO, Hugo Luiz. An abstract approach to algebraizable logics with quantifiers. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 24 abr. 2024.
APA
Mendes, C. de A., & Mariano, H. L. (2018). An abstract approach to algebraizable logics with quantifiers. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 24 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-anais periodico
More on categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel G. da
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. More on categorial forms of the axiom of choice. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf. Acesso em: 24 abr. 2024. , 2018
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2018). More on categorial forms of the axiom of choice. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation

Countries of institutions of collaboration