Trees and -subsets of <sup>ω1</sup>ω<sub>1</sub> (Q4276037)
From MaRDI portal
scientific article; zbMATH DE number 488045
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trees and -subsets of <sup>ω1</sup>ω<sub>1</sub> |
scientific article; zbMATH DE number 488045 |
Statements
Trees and -subsets of <sup>ω1</sup>ω<sub>1</sub> (English)
0 references
1 September 1994
0 references
definable set
0 references
orbit of relation
0 references
\(\Pi_ 1^ 1\)-universal set
0 references
\(\Pi^ 1_ 1\)-complete set
0 references
pre-well-ordering property
0 references
covering property
0 references
separation property
0 references
reduction property
0 references
universal family
0 references
inaccessible cardinal
0 references
extended Borel sets
0 references
trees
0 references
