CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Computação Científica (IMECC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Has a PhD in Logic from Universidade Estadual de Campinas (2022). Has experience in Logic and Computer Science, acting on the following subjects: Non-Deterministic Semantics, Paraconsistent Logics, Multialgebras, Satisfiability Modulo Theories, Theory Combination, and Many-Sorted Model Theory. Personal website: https://guilhermevtoledo.wordpress.com (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
In this master's studies the beneficiary will continue aspects of the research found in the article "Zariski Closed Algebras in Varieties of Universal Algebra" of Belov-Kanel, Giambruno, Rowen and Vishne, concerning the research of Zariski closed algebras representable over an arbitrary integral domain using techniques from the theory of universal algebras.To better explain the concepts i…
We intend with this scientific initiation that the student has anintroduction to algebraic number theory, the study of elements thatgeneralizes our notion of "integers" with algebraic structures. This studyis justified by the vanguard position that this discipline has taken insolving the classical problems of number theory and by its historicalpower. Starting with a brief study of groups…
| 2 / 2 | Completed scholarships in Brazil |
| Associated processes | |