Barwise-Schlipf定理的集合论类似物
Set theoretical analogues of the Barwise-Schlipf theorem
University of Gothenburg（哥德堡大学）
AI总结：
该研究在集合论领域给出Barwise-Schlipf定理的类似结果，分别刻画了满足对应类理论扩张条件的任意基数ZF非标准模型与可数ZFC非标准模型。
摘要：
我们刻画了可扩张为Goedel-Bernays类理论加$Δ^1_1$-概括的（任意基数的）ZF非标准模型，还刻画了可扩张为Goedel-Bernays类理论加$Σ^1_1$-选择的可数ZFC非标准模型。
英文摘要：
We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel-Bernays class theory plus $Δ^1_1$-Comprehension. We also characterize countable nonstandard models of ZFC that can be expanded to Goedel-Bernays class theory plus $Σ^1_1$-Choice.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
