关于有理数域代数规格化的一个否定结果
环与代数
2017-12-05 v2 计算机科学中的逻辑
摘要
ℚ₀——有理数的对合域——是有理数域通过强制规定0⁻¹=0使乘法逆运算全域化而得到的结构。本文证明，ℚ₀无法由通常的域公理加上有限条形如(1+⋯+1+x²)·(1+⋯+1+x²)⁻¹=1的公理所规格化。
引用
@article{arxiv.1507.00548,
title = {A negative result on algebraic specifications of the meadow of rational numbers},
author = {Jan A. Bergstra and Inge Bethke},
journal= {arXiv preprint arXiv:1507.00548},
year = {2017}
}
备注
5 pages, 2 tables