Borel hierarchy is a stratification of the Borel algebra generated by the open subsets of a Polish space; elements of this algebra are called Borel sets...

on all Borel sets of that space. Any measure defined on the Borel sets is called a Borel measure. Borel sets and the associated Borel hierarchy also play...

are all isomorphic at the level of Borel sets. Each Borel set of a Polish space is classified in the Borel hierarchy based on how many times the operations...

In the mathematical field of general topology, a meagre set (also called a meager set or a set of first category) is a subset of a topological space that...

A} . The same works for all levels of the Borel hierarchy and the difference hierarchy. The Wadge hierarchy plays an important role in models of the axiom...

relevant closure properties are achieved (a construction known as the Borel hierarchy). There are at least three key motivators for σ-algebras: defining...

In descriptive set theory, the Borel determinacy theorem states that any Gale–Stewart game whose payoff set is a Borel set is determined, meaning that...

spaces themselves). The pointclasses in the Borel hierarchy, and in the more complex projective hierarchy, are represented by sub- and super-scripted...

space or Baire space is a Borel set. The lightface Borel hierarchy extends the arithmetical hierarchy to include additional Borel sets. For example, every...

the same as Σ 2 0 {\displaystyle \mathbf {\Sigma } _{2}^{0}} in the Borel hierarchy. Each closed set is an Fσ set. The set Q {\displaystyle \mathbb {Q}...

of the Borel hierarchy are determined.[specify] In 1975, Donald A. Martin proved that all Borel games are determined; that is, if A is a Borel subset...

"parity" in the title. Parity games lie in the third level of the Borel hierarchy, and are consequently determined. Games related to parity games were...

σ-algebra generated by an arbitrary collection of subsets (see e.g. Borel hierarchy). This is harder than most explicit descriptions of "generation" in...

generally, subsets of any effective Polish space. This box: view talk edit Borel hierarchy J. Steel, "What is... a Woodin cardinal?". Notices of the American...

Borel hierarchy. In a topological space a Gδ set is a countable intersection of open sets. The Gδ sets are exactly the level Π0 2 sets of the Borel hierarchy...

pointclasses in the Borel hierarchy and extends to the study of more complex hierarchies such as the projective hierarchy and the Wadge hierarchy. Many properties...

ordinal α. In the Borel hierarchy, Felix Hausdorff and Kazimierz Kuratowski proved that the countable levels of the difference hierarchy over Π0γ give Δ0γ+1...

Polynomial hierarchy Chomsky hierarchy Analytical hierarchy Arithmetical hierarchy Hyperarithmetical hierarchy Abstract algebraic hierarchy Borel hierarchy Wadge...

Borel equivalence relation on a Polish space X is an equivalence relation on X that is a Borel subset of X × X (in the product topology). Given Borel...

descriptive set theory, the analytical hierarchy is an extension of the arithmetical hierarchy. The analytical hierarchy of formulas includes formulas in the...

showed determinacy of parity games, which lie in the third level of the Borel hierarchy. In 1975, Rabin finished his tenure as Rector of the Hebrew University...

and Π 1 0 {\displaystyle \mathbf {\Pi } _{1}^{0}} of the boldface Borel hierarchy. Cartesian products also have an alternate topology, the box topology...

\nu =\mu ^{*}} on σ ( R ) {\displaystyle \sigma (R)} by using the Borel hierarchy of R , {\displaystyle R,} and since ν = μ ∗ {\displaystyle \nu =\mu...

of a Borel set in a Polish space. A is a Suslin set, the image of the Suslin operation. There is a Polish space Y {\displaystyle Y} and a Borel set B...

Ferenc Beleznay, showed that classical collections were beyond the Borel hierarchy in complexity. This was followed shortly by a proof of the analogous...

sets of 2ω and thus the same as the boldface Π01 subsets of 2ω in the Borel hierarchy. Lightface Π01 classes in 2ω (that is, Π01 classes whose tree is computable...

the use of the "monkey metaphor" is that of French mathematician Émile Borel in 1913, but the first instance may have been even earlier. Jorge Luis Borges...

uses the analytical hierarchy. A set of natural numbers is classified at level Σ 1 1 {\displaystyle \Sigma _{1}^{1}} of this hierarchy if it is definable...

set Descriptive set theory Analytic set Analytical hierarchy Borel equivalence relation Infinity-Borel set Lightface analytic game Perfect set property...

Green's theorem (to do) Green's theorem when D is a simple region Heine–Borel theorem Intermediate value theorem Itô's lemma Kőnig's lemma Kőnig's theorem...