朱莉娅·奈特。 Scott秩的可计算结构\（\omega_1^{\mathrm{CK}}\）。 （英语） Zbl 1243.03049号 Hart，Bradd（编辑）等人，《模型、逻辑和高维范畴：向米哈利·麦凯的工作致敬》。2009年6月18日至20日，加拿大蒙特利尔CRM会议记录。普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-0-8218-7281-9/pbk）。CRM会议记录和演讲笔记53，157-168（2011）。 本文描述了从M.Makkai先生[J.Symb.Log.46301-318（1981；Zbl 0501.03018号)].有关整个系列，请参见[Zbl 1243.03004号].审核人：Hirokazu Nishimura（筑波） 引用于1文件 MSC公司： 03C57号 可计算结构理论 03C70号 容许集上的逻辑 03C75号 其他无穷逻辑 关键词：无限逻辑；可计算性；斯科特等级 引文：Zbl 0501.03018号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Knight}，in：模型、逻辑和高维范畴：向米哈利·麦凯（Mihály Makkai）的作品致敬。会议记录，CRM，蒙特利尔，加拿大，2009年6月18日至20日。普罗维登斯，RI：美国数学学会（AMS）。157--168（2011；Zbl 1243.03049）