论文标题
抽象基础类别及以后的辅助量词
Cofinality quantifiers in Abstract Elementary Classes and beyond
论文作者
论文摘要
Shelah引入了Cofinality量化器，作为比一阶逻辑更强的紧凑逻辑的一个例子。我们表明，这些量化符对这些量词进行公理的模型类别可以通过限制在积极和故意的用途中转化为抽象基础类别。我们没有使用临时证明，而是提供一个抽象的skolemization的一般框架，可以证明广泛的示例是抽象的基础类别。
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 Skolemization that can prove a wide range of examples are Abstract Elementary Classes.
