From wqo to bqo, via Ellentuck's theorem (Q1201238): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
| Property / author | |||
| Property / author: Hans Jürgen Prömel / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Péter Komjáth / rank | |||
Revision as of 05:00, 10 February 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
