Bolsa 12/20599-1 - Teoria dos conjuntos - BV FAPESP
Processo: 12/20599-1
A axiomatização da teoria de conjuntos ZFC pretende descrever o universo dos conjuntos. Esse universo tem uma descrição intuitiva conhecida como "hierarquia iterativa cumulativa de conjuntos". De acordo com essa descrição, os conjuntos são produzidos em etapas: em cada etapa, todos os conjuntos que foram produzidos em etapas anteriores, e apenas esses, estão disponíveis como elementos para a produção de novos conjuntos. Portanto, parece que uma análise sistemática da existência, e noções relacionadas, pode ser útil para comparar axiomatizações diferentes. O objetivo deste projeto é duplo: desenvolver novas técnicas para analisar e comparar axiomatizações diferentes, e analisar a própria busca por novos axiomas do ponto de vista da existência de conjuntos.