𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Set of Better Quasi Orderings is ∏

✍ Scribed by Alberto Marcone

Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
657 KB
Volume
41
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we give a proof of the II$completeness of the set of countable better quasi orderings (viewed as a subset of the Cantor space). This result was conjectured by CIote in [2] and proved by the author in his Ph.d. thesis [6] (see also [7]). Here we prove it using Simpson's definition of better quasi ordering ([15]) and as little bqo theory as possible.

Mat hematics Subject Classification: 04A 15, 03 E 15, 06A07.

📜 SIMILAR VOLUMES

On the minimal cofinal subsets of a dire
On the minimal cofinal subsets of a directed quasi-ordered set
✍ Wang Shang-Zhi; Li Bo-Yu 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 818 KB

It is shown that for any directed quasi-ordered set (Q, ~<), there is a minimal ordinal number h such that every cofinal subset of Q contains a cofinal subset which is the 0-th class original set of a pure h-th class chain of Q. A special case of our results gives necessary and sufficient conditions

Representation theorems for graphs whose
Representation theorems for graphs whose the vertex set is partially ordered
✍ Alain Quilliot 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 768 KB

## Dedicated to E. Corominas Given a graph G =(X, E), we try to know when it is possible to consider G as the intersection graph of a finite hypergraph, when some restrietions are given on the inclusion order induced on the edge set of this hypergraph. We give some examples concerning the interva

Quasi-mildly Nonlinear Complementarity P
Quasi-mildly Nonlinear Complementarity Problems of the Set-Valued Mappings
✍ D.J. Chen; F.N. Xiang 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 225 KB

We consider the following quasi-mildly nonlinear complementarity problems for set-valued mappings: to find \(\bar{x} \in k(\bar{x}), \bar{y} \in V(\bar{x})\), such that \[ \begin{gathered} M \bar{x}+q+A \bar{y} \in k^{*}(\bar{x}) \\ \langle\bar{x}-m(\bar{x}), M \bar{x}+q+A \bar{y}\rangle=0 \end{gat