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.
| Original language | English |
|---|---|
| Pages (from-to) | 1385-1402 |
| Number of pages | 18 |
| Journal | Journal of Symbolic Logic |
| Volume | 68 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 2003 |