a1 Department of Mathematics, Stanford University, Stanford, CA 94305, USA
We define a criterion called Følner Independence for a stationary process over an amenable group. Intuitively, a process satisfies the criterion if, for sufficiently invariant Følner sets, the process in the Følner set is nearly independent of the process outside. We show that Følner Independence implies Finitely Determined. As an application, we show that, in its extreme Gibbs states, the amenable attractive Ising model is Følner Independent (hence Finitely Determined, hence Bernoulli).
(Received August 08 1990)