George Weaver

1945

• Henkin-Keisler models