𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gap Embedding for Well-Quasi-Orderings

✍ Scribed by Nachum Dershowitz; Iddo Tzameret

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
683 KB
Volume
84
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Well Quasi-Ordered Sets
Well Quasi-Ordered Sets
✍ F. Richman; G. Stolzenberg πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 322 KB
Constructive Well-Orderings
Constructive Well-Orderings
✍ Robin J. Grayson πŸ“‚ Article πŸ“… 1982 πŸ› John Wiley and Sons 🌐 English βš– 564 KB

The constructions and proofs of this paper are to be understood as taking place in some kind of basic set theory or type theory, based on intuitionistic logic. \lie assunie a set N of natural numbers, satisfying HEYTING'S arithmetic (with full induction) ; we can form products of sets, and subsets o

Subgraphs and well-quasi-ordering
Subgraphs and well-quasi-ordering
✍ Guoli Ding πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 712 KB

## Abstract Let 𝒴 be a class of graphs and let βͺ― be the subgraph or the induced subgraph relation. We call βͺ― an __ideal__ (with respect to βͺ―) if βͺ― implies that βͺ―. In this paper, we study the ideals that are well‐quasiordered by βͺ―. The following are our main results. If βͺ― is the subgraph relation, w

Well-quasi-ordering and the Hausdorff qu
Well-quasi-ordering and the Hausdorff quasi-uniformity
✍ Hans-Peter A. KΓΌnzi; Salvador Romaguera πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 863 KB

Let (X.U) be a quasi-uniform space and M, its Hausdorff quasi-uniformity defined on the collection PO(X) of all nonempty subsets of X. We show that (PO(X). U,) is compact if and only if (X.U) is compact and (X,,U-'IX,,) is hereditarily precompact where X,,, = {y E X: y is minimal in the (specializa