Scifaro

中文

草甸簇的子簇

环与代数 2017-12-05 v4 计算机科学中的逻辑

作者: Jan A. Bergstra , Inge Bethke

在 arXiv 上查看 ↗ PDF ↗

摘要

草甸（meadow）——配备全反转运算的交换环——可由纯等式方法公理化。我们研究通过扩展等式理论与扩充符号而得到的草甸簇的子簇。

关键词

草甸交换环全反转运算等式理论子簇符号扩充

引用

@article{arxiv.1510.04021,
  title  = {Subvarieties of the variety of meadows},
  author = {Jan A. Bergstra and Inge Bethke},
  journal= {arXiv preprint arXiv:1510.04021},
  year   = {2017}
}

备注

11 pages