分布式系统的新方法：排序和可表示性
摘要：一种基于总序与双序的分布式系统的新方法：通过总序表示进程，通过双序表征通信。这种分布式系统捕捉到计算机科学、经济学和决策理论等各个领域中的情境。我们研究与排序结构的数值表示能力相关的问题，将经济学和计算相互关联起来。介绍了“准有限偏序”的概念，即具有链之间通信的有限链族。研究了这种结构的可表示性，并实现了一种有限（连续）Richter-Peleg多效用表示的构造方法。
作者：Asier Estevan Muguerza
论文ID：2306.16888
分类：Logic
分类简称：math.LO
提交时间：2023-06-30