Effective descriptive set theoryEffective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory. Effective Polish space An effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in both effective descriptive set theory and in constructive analysis.
Ordinal successeurEn théorie des ensembles, le « successeur » ou ordinal successeur, noté α + 1, d'un ordinal α, est l'ordinal qui suit immédiatement α, c'est-à-dire le plus petit ordinal strictement supérieur à α. Par rapport au successeur α + 1, l'ordinal α est parfois appelé ordinal prédécesseur ou simplement « prédécesseur » ou plus rarement « antécesseur ». C'est le plus grand ordinal strictement inférieur à α + 1. Dans la définition des ordinaux de von Neumann, l'ordinal successeur de α est α + 1 = α ∪ {α}.
Type d'ordreEn mathématiques, en particulier dans la théorie des ensembles, deux ensembles ordonnés X et Y sont dits avoir le même type d'ordre s'ils sont isomorphes pour l'ordre, c'est-à-dire, s'il existe une bijection f: X → Y telle que f et son inverse soient strictement croissantes (c'est-à-dire préservent l'ordre). Dans le cas particulier où X est totalement ordonnée, la monotonie de f implique la monotonie de son inverse. Par exemple, l'ensemble des entiers et l'ensemble des nombres entiers pairs ont le même type d'ordre, parce que la correspondance et sa réciproque préservent toutes deux l'ordre.
Ensemble transitifEn mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l'ensemble. Un ensemble X est dit transitif si tout élément y d’un élément x de X est lui-même élément de X c'est-à-dire si tout élément x de X est un sous-ensemble de X (en notant « ⊂ » l'inclusion au sens large) : ∀ x (x ∈ X ⇒ x ⊂ X) ce qui revient à (en notant ∪X l'union des éléments de X) : ∪X ⊂ X.
Axiome du choix dépendantEn mathématiques, l'axiome du choix dépendant, noté DC, est une forme faible de l'axiome du choix (AC), suffisante pour développer une majeure partie de l'analyse réelle. Il a été introduit par Bernays. L'axiome peut s'énoncer comme suit : pour tout ensemble non vide X, et pour toute relation binaire R sur X, si l'ensemble de définition de R est X tout entier (c'est-à-dire si pour tout a∈X, il existe au moins un b∈X tel que aRb) alors il existe une suite (xn) d'éléments de X telle que pour tout n∈N, xnRxn+1.
Théorie des ensembles non bien fondésLa théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui ne satisfait pas l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation.
Paradoxes of set theoryThis article contains a discussion of paradoxes of set theory. As with most mathematical paradoxes, they generally reveal surprising and counter-intuitive mathematical results, rather than actual logical contradictions within modern axiomatic set theory. Set theory as conceived by Georg Cantor assumes the existence of infinite sets. As this assumption cannot be proved from first principles it has been introduced into axiomatic set theory by the axiom of infinity, which asserts the existence of the set N of natural numbers.
Projective hierarchyIn the mathematical field of descriptive set theory, a subset of a Polish space is projective if it is for some positive integer . Here is if is analytic if the complement of , , is if there is a Polish space and a subset such that is the projection of onto ; that is, The choice of the Polish space in the third clause above is not very important; it could be replaced in the definition by a fixed uncountable Polish space, say Baire space or Cantor space or the real line.
John Vennvignette|Le Venn Building, université de Hull. John Venn (1834-1923) est un mathématicien et logicien britannique. Il est renommé pour avoir conçu les diagrammes de Venn, qui sont employés dans beaucoup de domaines, notamment en théorie des ensembles, en probabilité, en logique, en statistique et en informatique. John Venn a présenté les diagrammes portant son nom en 1881. En 1883, il est élu membre de la Royal Society. Il a aussi rédigé en partie l’Alumni Cantabrigienses. John Venn est né dans le Yorkshire.
Mathématiques modernesLes « mathématiques modernes » (souvent appelées familièrement les « maths modernes ») étaient une façon d'enseigner les mathématiques dans les pays occidentaux durant les années 1960 et 1970. Elles visaient d'une part à améliorer le niveau scientifique général de la population via un enseignement plus abstrait dès l'école primaire et, d'autre part, à dépoussiérer l'enseignement classique des mathématiques à l'école. Ce dernier, très empreint de géométrie, d'arithmétique et de trigonométrie, avait en effet tardé à incorporer les mutations des mathématiques durant la première moitié du .
