Better-quasi-orderings and coinduction

Authors:
Thomas Forster
Affiliations:
Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, Wilberforce road, Cambridge CB3 0WB, UK
Venue:
Theoretical Computer Science
Year:
2003

Citing 2
Cited 0

From wqo to bqo, via Ellentuck's theorem

Discrete Mathematics - Topological, algebraical and combinatorial structures; Froli´k's memorial volume
A note on well quasi-orderings for powersets

Information Processing Letters

Quantified Score

Hi-index	5.23

Visualization

Abstract

We can characterise the class of BQOs as the largest class of well-founded quasiorders closed under the Hoare powerdomain construction and colimits.