Global inductive definability
Global inductive definability
复制标题
全局归纳可定义性
DOI：
10.2307/2273529
复制
发表时间：
1978
影响因子：
0.6
通讯作者：
Y. Moschovakis
中科院分区：
文献类型：
--
作者：
K. Barwise;Y. Moschovakis
摘要我们表明，逻辑不同部分中关于序数的几个定理是全球归纳定义理论中基本结果的简单后果。
Abstract We show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.