泛结构
逻辑
2021-09-07 v4
摘要
我们处理若干类中给定基数下泛成员的存在性。首先我们处理阿贝尔群类,具体而言处理在作为可数共尾强极限奇异基数的基数下泛成员的存在性。其次,我们进而处理(变体形式的)oak 性质(来自 Dzamonja 与作者的工作),这是完全一阶理论的一个性质,在适当的基数假设下足以保证泛模型的不存在性。第三,我们证明 oak 性质对群类(自然解释,即针对无量词公式)成立,并进一步讨论泛成员的存在性。
引用
@article{arxiv.math/0405159,
title = {Universal Structures},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0405159},
year = {2021}
}