{
 "@context": "https://schema.org",
 "@type": "Claim",
 "@id": "https://wulfkaal.github.io/claims/6607458-022",
 "identifier": "kaal:claim:6607458-022",
 "text": "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.",
 "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": [
  "economics"
 ],
 "about": [
  "existence-proof",
  "brouwer-fixed-point",
  "recursive-equilibrium",
  "compactness",
  "convexity"
 ],
 "abstract": "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.",
 "additionalProperty": [
  {
   "@type": "PropertyValue",
   "name": "claim_type",
   "value": "condition"
  },
  {
   "@type": "PropertyValue",
   "name": "confidence",
   "value": "argued"
  },
  {
   "@type": "PropertyValue",
   "name": "scope_conditions",
   "value": [
    "requires nonempty, compact, convex topologies on generation functions and domain models",
    "requires continuity of the optimization and model-update operators"
   ]
  },
  {
   "@type": "PropertyValue",
   "name": "is_failure_mode",
   "value": false
  },
  {
   "@type": "PropertyValue",
   "name": "attestations",
   "value": "https://wulfkaal.github.io/colloquium/attestations/a7a24adee8e9352c660733cec2d154a347791a2488f1073ab70445084d10318e.json"
  },
  {
   "@type": "PropertyValue",
   "name": "edges",
   "value": [
    {
     "rel": "extended_by",
     "to": "https://wulfkaal.github.io/claims/6655138-018",
     "to_id": "kaal:claim:6655138-018",
     "similarity": 0.428
    }
   ]
  }
 ],
 "isPartOf": {
  "@id": "https://wulfkaal.github.io/claims/index.json"
 },
 "dateModified": "2026-07-27",
 "version": "1.0",
 "sha256": "a7a24adee8e9352c660733cec2d154a347791a2488f1073ab70445084d10318e",
 "canonicalForm": "https://wulfkaal.github.io/claims/6607458-022.md"
}