A Separation Theorem for ∑ 1 1 Sets (Q5904655)
From MaRDI portal
scientific article; zbMATH DE number 3711951
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Separation Theorem for ∑ 1 1 Sets |
scientific article; zbMATH DE number 3711951 |
Statements
A Separation Theorem for ∑ 1 1 Sets (English)
0 references
1980
0 references
omega reduction
0 references
measurable space
0 references
Polish space
0 references
effective descriptive theory
0 references
Borel hierarchy
0 references
hyperarithmetical hierarchy
0 references
resolution in alternating series
0 references
Lebesgue-Hausdorff theorem
0 references
section problem
0 references
