C. W. Henson

• First order topology