From wqo to bqo, via Ellentuck's theorem

From MaRDI portal
Publication:1201238