消去域上完全计算的直线指令序列完备性

将程序代数与域论相结合，设计出一种在代数结构中进行计算的理论，该理论除了零测试和复制指令外，还使用指令集 $\{x \Leftarrow 0, x \Leftarrow 1, x\Leftarrow -x, x\Leftarrow x^{-1}, x\Leftarrow x+y, x\Leftarrow x\cdot y\}$。证明了消去域上的完全函数可以通过最多使用5个辅助变量的直线程序来计算。对于有符号域也得到了类似的结果。