Proposition 1: if the spaces of generation functions and domain models are nonempty, compact, and convex, and the individual optimization and model-update operators are continuous, then a recursive equilibrium exists by the Brouwer fixed-point theorem.
Source quote, verbatim
Proposition 1 (Existence). Let the space of generation functions G_i and domain models M_i admit topologies under which they are nonempty, compact, and convex. Suppose the individual optimization operator and the model-update operator are both continuous. Then a recursive equilibrium exists.
From
Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026), VI.B. Existence (Brouwer), p. 18 https://ssrn.com/abstract=6607458 · source PDF
Cite as
Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458
Holds when
requires nonempty, compact, convex topologies on generation functions and domain models
requires continuity of the optimization and model-update operators
Classification
conditionsupport: arguedeconomics
Related claims
extended_bykaal:claim:6655138-018 Recursive equilibrium under Computative Economics is not static equilibrium but equilibrium over the dynamics ...
Verify
The quote above is an exact substring of the source PDF, whose sha256 is 75cca35350378eb8904866d068b5d2f3e1504629e6031457ce6c12152a88e3e8. Extraction method: pdf-text-layer. Attestation record: colloquium/attestations/a7a24adee8e9352c...json Verify the binding yourself: curl -s https://wulfkaal.github.io/claims/6607458-022.md | sha256sum