Σ1 and Π1 Transfinite Induction

Σ1 and Π1 Transfinite Induction
复制标题

Σ1 和 Π1 超限归纳

DOI：
10.1016/s0049-237x(09)70514-2
复制
发表时间：
1982
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
通讯作者：
S. G. Simpson
S. G. Simpson
中科院分区：
--
文献类型：
--
作者：
S. G. Simpson

文献摘要

被引文献

相似文献