ON THE NONBOUNDABILITY OF TOTAL EFFECTIVE OPERATORS
ON THE NONBOUNDABILITY OF TOTAL EFFECTIVE OPERATORS
复制标题
DOI：
10.1002/malq.19840300906
复制
发表时间：
1984-01-01
期刊：
影响因子：
--
通讯作者：
ZEUGMANN, T
中科院分区：
文献类型：
--
作者：
ZEUGMANN, T
本文分析了全有效算子与一般递归算子的区别。它概述了基本的符号和定义的过程中使用，以显示总有效的运营商之间的两个理论。研究结果表明，在方程中使用的算子中的谓词。指出了在可计算算子定理的证明中考虑单调或拟单调算子的重要性。
The article presents a study that analyzes the difference between total effective operators and general recursive operators. It outlines the basic notations and definitions used in the process to show total effective operators between the two theories. The result of the study indicates the predicates in the operators used in the equation. Moreover, it denotes the importance of considering the monotone or quasimonotone operators in proving theorems on computable operators.