哪些结构类既是伪初等的又可由无穷句子定义？
逻辑
2020-05-01 v2
摘要
当结构类不是一阶可定义时，我们仍可能试图找到一个良好的描述。有两种常见的方法。一种是扩展语言，导出伪初等等类的概念；另一种是允许无穷合取与析取。在本文中，我们考察这两者的交集。即，我们探讨如下问题：哪些结构类既是伪初等的又是-初等的？我们发现这些恰好是可由不含无穷析取的无穷公式所定义的结构类。
关键词
引用
@article{arxiv.1808.01588,
title = {Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?},
author = {Will Boney and Barbara F. Csima and Nancy A. Day and Matthew Harrison-Trainor},
journal= {arXiv preprint arXiv:1808.01588},
year = {2020}
}