From wqo to bqo, via Ellentuck's theorem (Q1201238): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:30, 5 March 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
