COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND
复制标题
抽象小学及以上课程中的共尾性量词
DOI：
10.1017/jsl.2023.34
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
BONEY, WILL
中科院分区：
文献类型：
--
作者：
BONEY, WILL
作为紧逻辑强于一阶逻辑的一个例子，Shelah引入了共度量词。我们证明了由这些量词公理化的模型类可以通过限制积极和有意的使用而变成抽象基本类。我们没有使用特别的证明，而是给出了抽象化的一般框架。该方法统一证明了大量的类是抽象基本类。
The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by restricting to positive and deliberate uses. Rather than using an ad hoc proof, we give a general framework of abstract Skolemizations. This method gives a uniform proof that a wide rang of classes are Abstract Elementary Classes.
登录
查看更多内容
⊥N 作为抽象小学课程
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
J. Baldwin;P. Eklof
通讯作者：
P. Eklof
$L({Q^{mathrm{cf}}})$ 紧性的说明
影响因子：
0.6
作者：
E. Casanovas;M. Ziegler
通讯作者：
M. Ziegler
L(Q) 的紧凑扩展（第 1a 部分）
DOI：
--
发表时间：
1977
期刊：
影响因子：
--
作者：
M. Magidor;J. Malitz
通讯作者：
J. Malitz
通用理论和紧凑可扩展模型
DOI：
--
发表时间：
2017
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Casanovas;S. Shelah
通讯作者：
S. Shelah
论基本逻辑的扩展
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Per Lindström
通讯作者：
Per Lindström