# Category:Descriptive set theory

Computing portal |

Here is a list of articles in the Descriptive set theory category of the Computing portal that unifies foundations of mathematics and computations using computers.

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Descriptive set theory"

The following 49 pages are in this category, out of 49 total.

- Descriptive set theory
*(computing)*

### A

- Adequate pointclass
*(computing)* - Analytic set
*(computing)* - Axiom of projective determinacy
*(computing)*

### B

- Baire space (set theory)
*(computing)* - Banach–Mazur game
*(computing)* - Borel equivalence relation
*(computing)* - Borel hierarchy
*(computing)* - Borel set
*(computing)*

### C

- Cabal (set theory)
*(computing)* - Cantor space
*(computing)* - Choquet game
*(computing)* - Cichoń's diagram
*(computing)* - Coanalytic set
*(computing)*

### D

- Difference hierarchy
*(computing)*

### F

- Fσ set
*(computing)*

### G

- Gδ set
*(computing)*

### H

- Homogeneous tree
*(computing)* - Homogeneously Suslin set
*(computing)*

### I

- Inductive set
*(computing)* - Infinity-Borel set
*(computing)*

### K

- Kleene–Brouwer order
*(computing)* - Kuratowski and Ryll-Nardzewski measurable selection theorem
*(computing)* - Kuratowski–Ulam theorem
*(computing)*

### L

- L(R)
*(computing)* - List of properties of sets of reals
*(computing)* - Lusin's separation theorem
*(computing)* - Luzin space
*(computing)*

### M

- Martin measure
*(computing)* - Meagre set
*(computing)*

### N

- Negative-dimensional space
*(computing)*

### P

- Perfect set property
*(computing)* - Pointclass
*(computing)* - Polish space
*(computing)* - Prewellordering
*(computing)* - Projection (measure theory)
*(computing)* - Projective hierarchy
*(computing)* - Property of Baire
*(computing)*

### S

- Scale (descriptive set theory)
*(computing)* - Schröder–Bernstein theorem for measurable spaces
*(computing)* - Standard Borel space
*(computing)* - Suslin operation
*(computing)*

### T

- Θ (set theory)
*(computing)* - Tree (descriptive set theory)
*(computing)*

### U

- Uniformization (set theory)
*(computing)* - Universally Baire set
*(computing)* - Universally measurable set
*(computing)*

### W

- Wadge hierarchy
*(computing)*

### Z

- Zero-dimensional space
*(computing)*