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!