A new proof of Kelley's Theorem
Kelley's Theorem is a purely combinatorial characterization of measure algebras. We first apply linear programming to exhibit the duality between measures and this characterization for finite algebras. Then we give a new proof of the Theorem using methods from nonstandard analysis.