Abstract
We construct a stable one-based, trivial theory with a reduct which is not trivial. This answers a question of John B. Goode. Using this, we construct a stable theory which is n-ample for all natural numbers n, and does not interpret an infinite group.
Citation
David M. Evans. "Ample dividing." J. Symbolic Logic 68 (4) 1385 - 1402, December 2003. https://doi.org/10.2178/jsl/1067620194
Information