论文标题
设置Barwise-Schlipf定理的理论类似物
Set theoretical analogues of the Barwise-Schlipf theorem
论文作者
论文摘要
我们表征了ZF（任意基数）的非标准模型，这些模型可以扩展到Goedel-Bernays类理论以及$δ^1_1 $ -COMPERENIS。我们还表征了可以将ZFC的可计算器模型扩展到Goedel-Bernays类理论以及$σ^1_1 $ -CHOICE。
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.
