From wqo to bqo, via Ellentuck's theorem (Q1201238): Difference between revisions

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

zbMATH Keywords

topological Ramsey theory

0 references

Ramsey subsets of reals

0 references

well-quasi-ordered sets

0 references

better quasi-order

0 references

reviewed by

Péter Komjáth

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Some consequences of the axiom of constructibility

0 references

A new proof that analytic sets are Ramsey

0 references

Q3915616

0 references

Q3915617

0 references

A Theorem on Partial Well-Ordering of Sets of Vectors

0 references

Q3942040

0 references

Borel sets and Ramsey's theorem

0 references

Ordering by Divisibility in Abstract Algebras

0 references

Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture

0 references

The theory of well-quasi-ordering: a frequently discovered concept

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

On Ordered Division Rings

0 references

Two remarks on Ramsey's theorem

0 references

Q3715155

0 references

Partial well‐ordering of sets of vectors

0 references

Every analytic set is Ramsey

0 references

Q3801541

0 references

Identifiers

zbMATH Open document ID

0765.04001

0 references

DOI

10.1016/0012-365X(92)90663-Z

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1201238

@@ Property / author @@
+Hans Jürgen Prömel
@@ Property / author: Hans Jürgen Prömel / rank @@
+Normal rank
@@ Property / reviewed by @@
+Péter Komjáth
@@ Property / reviewed by: Péter Komjáth / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of the axiom of constructibility
+Normal rank
@@ Property / cites work @@
+A new proof that analytic sets are Ramsey
@@ Property / cites work: A new proof that analytic sets are Ramsey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915616
@@ Property / cites work: Q3915616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915617
@@ Property / cites work: Q3915617 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Partial Well-Ordering of Sets of Vectors
+Normal rank
@@ Property / cites work @@
+Q3942040
@@ Property / cites work: Q3942040 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel sets and Ramsey's theorem
@@ Property / cites work: Borel sets and Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Q5541832
@@ Property / cites work: Q5541832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3963007
@@ Property / cites work: Q3963007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792080
@@ Property / cites work: Q5792080 / rank @@
+Normal rank
@@ Property / cites work @@
+Happy families
@@ Property / cites work: Happy families / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691785
@@ Property / cites work: Q3691785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5337204
@@ Property / cites work: Q5337204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520569
@@ Property / cites work: Q5520569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537629
@@ Property / cites work: Q5537629 / rank @@
+Normal rank
@@ Property / cites work @@
+On Ordered Division Rings
@@ Property / cites work: On Ordered Division Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Two remarks on Ramsey's theorem
@@ Property / cites work: Two remarks on Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3715155
@@ Property / cites work: Q3715155 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial well‐ordering of sets of vectors
@@ Property / cites work: Partial well‐ordering of sets of vectors / rank @@
+Normal rank
@@ Property / cites work @@
+Every analytic set is Ramsey
@@ Property / cites work: Every analytic set is Ramsey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3801541
@@ Property / cites work: Q3801541 / rank @@
+Normal rank