Advanced search
Start date
Betweenand

Foundations of mathematics and applications

Grant number: 11/21024-0
Support type:Scholarships in Brazil - Scientific Initiation
Effective date (Start): January 01, 2012
Effective date (End): November 30, 2014
Field of knowledge:Physical Sciences and Mathematics - Mathematics
Principal researcher:Leandro Fiorini Aurichi
Grantee:Hugo Rafael de Oliveira Ribeiro
Home Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil

Abstract

This project aims to study the basic part of Mathematical Logic and Set Theory. Beside this, some other techniques of these fields will be developed looking for applications in other mathematical fields. Among such techniques are Model Theory, well order principle and extra axioms to ZFC. One of the applications is the proof of the Hilbert's Nullstellensatz using model theory. Dentre as aplicações, podemos destacar a demonstração do Teorema dos Zeros de Hilbert via Teoria dos Modelos. (AU)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Please report errors in scientific publications list by writing to: cdi@fapesp.br.