From wqo to bqo, via Ellentuck's theorem (Q1201238)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From wqo to bqo, via Ellentuck's theorem |
scientific article |
Statements
From wqo to bqo, via Ellentuck's theorem (English)
0 references
17 January 1993
0 references
In this expository paper, first the theory of Ramsey subsets of reals is developed via Ellentuck's definitions and ideas. Then, after the introduction of well-quasi-ordered sets, a natural definition of better quasi-order is given along with a proof of Nash-Williams theorem that transfinite sequences from a bqo set form a bqo set.
0 references
topological Ramsey theory
0 references
Ramsey subsets of reals
0 references
well-quasi-ordered sets
0 references
better quasi-order
0 references
