某些域上无限方阵的2平方和定理

模型论中的紧致性定理,在代数中有不少应用,其主要作用在于沟通某些问题中的有限性条件与无限性条件。Abian证明了一个关于不可数代数闭域上无限方程组可解性的等价条件,也是一种特殊的紧致性结果(另外,它还可看作Hilbert零点定理的一种推广形式,作者在