This paper studies recursive exchange economies with short sales. Agents maximize discounted expected utility. The asset structure is general and includes real securities, infinite-lived stocks, options, and other derivatives. ...