Submission date: 27 October 2018

Abstract:

We present a construction for adding to a theory T a predicate for a generic reduct of T. Call the resulting theory TS. We show that nice properties of the theory T will pass to TS. In particular, under one mild assumption, if T is NSOP_1 then so is TS. We give concrete examples of new NSOP_1 theories obtained by this construction.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1810.11722: pdf, ps.