mu -definable sets of integers
mu -definable sets of integers
复制标题
mu 可定义的整数集
DOI：
10.1109/lics.1989.39189
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
Robert S. Lubarsky
中科院分区：
文献类型：
--
作者：
Robert S. Lubarsky
微积分是一种由标准一阶有限逻辑组成的语言，具有适用于正归纳定义的最小不动点算子。本研究的主要定理是关于在微积分中可定义的整数集合的一个集合论刻画。另一个被使用但未被证明的定理是mu微积分的前范式定理
The mu -calculus is a language consisting of standard first-order finitary logic with a least fixed-point operator applicable to positive inductive definitions. The main theorem of this study is a set-theoretic characterization of the sets of integers definable in the mu -calculus. Another theorem used but not proved is a prenex normal form theorem for the mu -calculus.<<ETX>>