We provide a "computable counterexample" to the Arrow-Debreu competitive equilibrium existence theorem [2]. In particular, we find an exchange economy in which all components are (Turing) computable, but in which no competitive equilibrium is computable. This result can be interpreted as an...

We integrate and sharpen two characterizations of aggregate excess demand functions: we obtain Mas-Colell's (1977) equilibrium invariance, and strengthen Geanakoplos' (1984) weakly concave utility functions to strictly concave ones. Our proofs modify and extend Geanakoplos' utility-construction....