From wqo to bqo, via Ellentuck's theorem
From MaRDI portal
Publication:1201238
DOI10.1016/0012-365X(92)90663-ZzbMath0765.04001MaRDI QIDQ1201238
Bernd Voigt, Hans Jürgen Prömel
Publication date: 17 January 1993
Published in: Discrete Mathematics (Search for Journal in Brave)
Continuous maps (54C05) Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Ramsey theory (05D10) Research exposition (monographs, survey articles) pertaining to general topology (54-02)
Related Items
Better-quasi-orderings and coinduction, Finite versus infinite: an insufficient shift, Set systems: order types, continuous nondeterministic deformations, and quasi-orders
Cites Work
- Two remarks on Ramsey's theorem
- The theory of well-quasi-ordering: a frequently discovered concept
- A Theorem on Partial Well-Ordering of Sets of Vectors
- Some consequences of the axiom of constructibility
- A new proof that analytic sets are Ramsey
- Happy families
- Borel sets and Ramsey's theorem
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Every analytic set is Ramsey
- On Ordered Division Rings
- Ordering by Divisibility in Abstract Algebras
- Partial well‐ordering of sets of vectors
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item