可数超齐次图的同构子图的最大链

对于可数超齐次图 $G$，令 $P(G)$ 表示 $G$ 的同构于 $G$ 的子图的定义域集合。按包含关系排序的集合 $P(G) \cup \{\emptyset\}$ 中最大链的序型刻画如下：(I) 若 $G$ 是 Rado 图或某个 $n>2$ 的 Henson 图 $H_n$，则为具有最小非孤立点的实数紧集的序型；(II) 若 $G$ 是 $\mu$ 个大小为 $\nu$ 的不相交完全图的并集，其中 $\mu \nu =\omega$，则为具有最小非孤立点的实数紧无处稠密集的序型。