# kaal:claim:6607458-024

**Claim.** Where the contraction condition holds, the computative framework delivers a stronger equilibrium result than the Arrow-Debreu theorem, which asserts existence but yields neither uniqueness without added monotonicity assumptions nor a constructive convergent procedure.

**Type.** mechanism  **Support.** argued

**Holds when.**

- holds only where the contraction condition is satisfied

**Source quote.**

> Where the condition holds, Computative Economics delivers a stronger equilibrium result than the Arrow-Debreu existence theorem: the latter asserts existence but does not deliver uniqueness without additional monotonicity assumptions and does not deliver a constructive convergent procedure.

**From.** Wulf A. Kaal, *Computative Economics A Framework for Economic Analysis under Computational Abundance* (2026), VI.C. Uniqueness and Convergence (Banach), page 19

**Cite as.** Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458

**Verify.** sha256 of source PDF `75cca35350378eb8904866d068b5d2f3e1504629e6031457ce6c12152a88e3e8` at https://raw.githubusercontent.com/wulfkaal/Academic-Papers/main/papers/pdf/Kaal%20-%202026%20-%20Computative%20Economics%20A%20Framework%20for%20Economic%20Analysis%20under%20Computational%20Abundance.pdf

**Topics.** economics

**Keywords.** arrow-debreu, uniqueness, convergence, equilibrium-theory

**Canonical form.** This markdown file is the canonical hashed representation of the claim. Its sha256 is the content hash used for attestation.