期刊
ANNALS OF PURE AND APPLIED LOGIC
卷 169, 期 8, 页码 755-774出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.apal.2018.04.003
关键词
NSOP1; Generic structures; Expansions; Skolem functions
We study expansions of NSOP1 theories that preserve NSOP1. We prove that if T is a model complete NSOP1 theory eliminating the quantifier there exists(infinity), then the generic expansion of T by arbitrary constant, function, and relation symbols is still NSOP1. We give a detailed analysis of the special case of the theory of the generic L-structure, the model companion of the empty theory in an arbitrary language L. Under the same hypotheses, we show that T may be generically expanded to an NSOP1 theory with built-in Skolem functions. In order to obtain these results, we establish strengthenings of several properties of Kim-independence in NSOP1 theories, adding instances of algebraic independence to their conclusions. (C) 2018 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据