Concept
Effective descriptive set theory
Concepts associés (5)
Hyperarithmetical theory
In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory. The central focus of hyperarithmetic theory is the sets of natural numbers known as hyperarithmetic sets. There are three equivalent ways of defining this class of sets; the study of the relationships between these different definitions is one motivation for the study of hyperarithmetical theory.
Hiérarchie de Borel
La hiérarchie de Borel désigne une description de la tribu des boréliens d'un espace topologique X comme une réunion croissante d'ensembles de parties de X, indexée par le premier ordinal non dénombrable. Soit un ensemble de parties d'un ensemble X. On note : l'ensemble des unions dénombrables d'éléments de : l'ensemble des intersections dénombrables d'éléments de : Les lettres grecques σ et δ représentent respectivement les mots allemands désignant la réunion (Summe) et l'intersection (Durchschnitt).
Théorie descriptive des ensembles
La théorie descriptive des ensembles est une branche des mathématiques s'intéressant aux ensembles « définissables ». Son principal but est de classifier ces ensembles par complexité. Elle a de nombreux liens avec la théorie des ensembles et a des applications dans de nombreux domaines. Historiquement, les premières questions de la théorie descriptive des ensembles sont apparues à la suite de la découverte d'une erreur par Mikhaïl Souslin en dans une démonstration de Lebesgue.
Hiérarchie arithmétique
thumb|Illustration de la hiérarchie arithmétique. En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano. Un ensemble d'entiers est classé suivant les alternances de quantificateurs d'une formule sous forme prénexe qui permet de le définir.
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.