Forking geometry on theories with an independent predicate

Abstract

We prove that a simple theory of SU-rank 1 is n-ample if and only if the associated theory equipped with a predicate for an independent dense subset is n-ample for n at least 2.