度量部分代数中的抽象与具体计算
计算机科学中的逻辑
2007-05-23 v1
摘要
一种计算模型若在应用于任意代数时，所产生的可计算函数和该代数上的集合的程序在同构关系下保持不变，则该模型是抽象的，从而不依赖于该代数的表示。否则该模型是具体的。直观地说，具体模型依赖于该代数的实现。在拓扑部分代数的情况下，尤其是在实数上的代数中，这一区别尤为显著。我们探讨了抽象和具体部分度量代数模型之间的关系。在此过程中，揭示了关于连续性、延展性和非确定性的有趣方面。
引用
@article{arxiv.cs/0108007,
title = {Abstract versus Concrete Computation on Metric Partial Algebras},
author = {J. V. Tucker and J. I. Zucker},
journal= {arXiv preprint arXiv:cs/0108007},
year = {2007}
}
备注
75 pages, AMSTeX, 3 figures