Directions in Infinite Graphs: topological, combinatorial and set-theoretical appr...
Groups and noncommutative algebra: interactions and applications
Logics of formal inconsistency with replacement: An algebraic and proof-theoreti...
Grant number: | 18/18051-4 |
Support Opportunities: | Scholarships in Brazil - Scientific Initiation |
Start date: | December 01, 2018 |
End date: | November 30, 2021 |
Field of knowledge: | Physical Sciences and Mathematics - Mathematics |
Principal Investigator: | Leandro Fiorini Aurichi |
Grantee: | Lucas Silva Sinzato Real |
Host Institution: | Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil |
Abstract There are many examples in mathematics of finitary affirmations that have infinitary versions. There are as well finitary affirmations that have simple proofs, but with infinitary arguments. It is not unusual the dual of this: infinitary affirmations with finitary arguments. The objective of this project is to show some of these affirmations. | |
News published in Agência FAPESP Newsletter about the scholarship: | |
More itemsLess items | |
TITULO | |
Articles published in other media outlets ( ): | |
More itemsLess items | |
VEICULO: TITULO (DATA) | |
VEICULO: TITULO (DATA) | |