Bringing closure to theory combination properties

Guilherme V. Toledo, Benjamin Przybocki, Yoni Zohar

We consider the closure of three classical combination properties, namely, stable infiniteness, gentleness and shininess (or, equivalently for decidable theories, strong politeness…