S. K. Jolly

• A non-standard proof of the Hahn-Banach extension theorem