平方根牧场
计算机科学中的逻辑
2009-01-30 v1
摘要
令 Q_0 表示通过将逆运算完全化（使得 0^{-1}=0）而扩展为牧场的有理数集。Q_0 可以通过一个提取有理数符号的完全符号函数 s 进行扩展。本文讨论有符号有理数的扩展 Q_0(s ,\sqrt)，其中每个数都有唯一的平方根。
引用
@article{arxiv.0901.4664,
title = {Square root meadows},
author = {Jan A. Bergstra and I. Bethke},
journal= {arXiv preprint arXiv:0901.4664},
year = {2009}
}
备注
9 pages