A short proof of Ellentuck's theorem (Q2701600)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1566165
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A short proof of Ellentuck's theorem |
scientific article; zbMATH DE number 1566165 |
Statements
19 February 2001
0 references
Ellentuck topology
0 references
completely Ramsey set
0 references
Baire property
0 references
A short proof of Ellentuck's theorem (English)
0 references
The author offers a short proof of Ellentuck's theorem that characterizes the completely Ramsey subsets of \([\omega]^\omega\) as those having the Baire property with respect to what is now known as the Ellentuck topology. The key step is a technical lemma that readily implies the following two facts: Ellentuck open sets are completely Ramsey and the family of Ellentuck nowhere dense sets is closed under countable unions. From this the main theorem follows at once.
0 references
0.8001570105552673
0 references
0.8001570105552673
0 references
0.7908056974411011
0 references
0.7741360068321228
0 references
