Teoria descritiva de conjuntos

A teoria descritiva de conjuntos é, em lógica matemática, o estudo de certas classes de conjuntos "bem comportados" da reta real ou outros espaços. Como uma das principais áreas de pesquisa em teoria de conjuntos, ela tem aplicações em outras áreas da lógica matemática bem como áreas da matemática como análise funcional.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Tópicos sobre fundamentos da matemática
Lógica matemática	Axiomas de Peano Indução matemática Sistema axiomático Prova matemática Teoria dos modelos Construtivismo Lógica modal Lista de tópicos da lógica matemática
Teoria dos conjuntos	Conjunto Teoria ingênua dos conjuntos Teoria axiomática dos conjuntos Teoria de conjuntos de Zermelo Axiomas de Zermelo-Fraenkel Teoria descritiva de conjuntos Determinância Paradoxo de Russell Lista de tópicos sobre teoria dos conjuntos
Teoria das categorias	Categoria Teoria dos tipos Topos Glossário de teoria das categorias