{
 "@context": "https://schema.org",
 "@type": "Claim",
 "@id": "https://wulfkaal.github.io/claims/6607458-023",
 "identifier": "kaal:claim:6607458-023",
 "text": "Proposition 2: if the composite best-response map is a contraction under an appropriate metric, the recursive equilibrium is unique and iteration of the map from any starting point converges to it, by the Banach fixed-point theorem.",
 "author": {
  "@type": "Person",
  "name": "Wulf A. Kaal",
  "identifier": "https://orcid.org/0009-0008-7840-1847"
 },
 "citation": "Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458",
 "isBasedOn": {
  "@type": "ScholarlyArticle",
  "name": "Computative Economics A Framework for Economic Analysis under Computational Abundance",
  "datePublished": "2026",
  "url": "https://ssrn.com/abstract=6607458",
  "sha256": "75cca35350378eb8904866d068b5d2f3e1504629e6031457ce6c12152a88e3e8",
  "encoding": "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"
 },
 "keywords": [
  "institutional-design"
 ],
 "about": [
  "uniqueness",
  "convergence",
  "banach-fixed-point",
  "contraction-mapping"
 ],
 "abstract": "Suppose the composite best-response map Ψ is a contraction on the product space of generation functions and domain models under an appropriate metric. Then there exists a unique recursive equilibrium, and the sequence (G_t, M_t) generated by repeated application of Ψ from any starting point",
 "additionalProperty": [
  {
   "@type": "PropertyValue",
   "name": "claim_type",
   "value": "condition"
  },
  {
   "@type": "PropertyValue",
   "name": "confidence",
   "value": "argued"
  },
  {
   "@type": "PropertyValue",
   "name": "scope_conditions",
   "value": [
    "requires the composite best-response map to be a contraction under an appropriate metric"
   ]
  },
  {
   "@type": "PropertyValue",
   "name": "is_failure_mode",
   "value": false
  },
  {
   "@type": "PropertyValue",
   "name": "attestations",
   "value": "https://wulfkaal.github.io/colloquium/attestations/0332665170d65bf77a6b23fde547199d63bebd732593c8d4d1257606ec663b46.json"
  },
  {
   "@type": "PropertyValue",
   "name": "edges",
   "value": [
    {
     "rel": "extended_by",
     "to": "https://wulfkaal.github.io/claims/6655138-032",
     "to_id": "kaal:claim:6655138-032",
     "similarity": 0.385
    },
    {
     "rel": "extended_by",
     "to": "https://wulfkaal.github.io/claims/6655138-029",
     "to_id": "kaal:claim:6655138-029",
     "similarity": 0.378
    }
   ]
  }
 ],
 "isPartOf": {
  "@id": "https://wulfkaal.github.io/claims/index.json"
 },
 "dateModified": "2026-07-27",
 "version": "1.0",
 "sha256": "0332665170d65bf77a6b23fde547199d63bebd732593c8d4d1257606ec663b46",
 "canonicalForm": "https://wulfkaal.github.io/claims/6607458-023.md"
}