Independent set in a strongly minimal theory
ID: independent-set-in-a-strongly-minimal-theory
A set is independent when no element lies in the algebraic closure of the others. Every bijection between independent sets in a strongly minimal monster model is elementary because successive independent elements realize the unique generic type over the algebraic closure of their predecessors.
New to topics? Read the docs here!