简单的图被考虑。让 G 是珍视整数的功能为 everyxV (G) 在 V (G) withg (x) f (x) 上定义的图 andg (x) andf (x) 。为 subgraphH......

用模型论的方法来研究p阶拟循环群理论中型的孤立性及垂直性，将相关研究推进了一步。...