Barwise-Schlipf定理的集合论类比
逻辑
2022-06-27 v5
摘要
我们刻画了可扩张为哥德尔-伯奈斯类理论加上-概括公理的非标准ZF模型（具有任意基数）。我们还刻画了可扩张为哥德尔-伯奈斯类理论加上-选择公理的可数非标准ZFC模型。
引用
@article{arxiv.2001.09243,
title = {Set theoretical analogues of the Barwise-Schlipf theorem},
author = {Ali Enayat},
journal= {arXiv preprint arXiv:2001.09243},
year = {2022}
}
备注
16 pages. This is the final version of the paper, and corrects some minor typos in the previous draft. The preliminaries section of the paper has a substantial text overlap with arXiv:1910.04029