原始递归有序域及其应用
摘要：基于可计算实数有序域和可计算实数的一些已知事实，我们建立了一些原始递归版本，并将其应用于线性代数和分析中一些自然问题的原始递归性证明。特别地，我们找到了Ershov-Madison关于可计算有序域的实数闭包的局部原始递归类比，将相应的域与原始递归实数联系起来，给出了原始递归求根、计算矩阵的标准形式，以及计算一些偏微分方程线性系统的解算子的充分条件。
作者：Victor Selivanov and Svetlana Selivanova
论文ID：2010.10189
分类：Computational Complexity
分类简称：cs.CC
提交时间：2021-11-09