From wqo to bqo, via Ellentuck's theorem (Q1201238): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 06:04, 31 January 2024
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
