CK下的ω₁阶可计算结构

摘要：获取Scott等级omega_1^{CK}（称为ock）的可计算结构，并提供一个通用的编码过程，将任何超算术结构A转化为一个可计算结构A'，使得A的等级为ock，ock+1，或者

作者：Julia Knight and Jessica Millar

论文ID：math/0508507

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中