{
 "@context": "https://schema.org",
 "@type": "DefinedTerm",
 "@id": "https://wulfkaal.github.io/entities/welfare-theorems",
 "identifier": "kaal:entity:welfare-theorems",
 "name": "Welfare theorems",
 "termCode": "welfare-theorems",
 "inDefinedTermSet": {
  "@id": "https://wulfkaal.github.io/entities/index.json"
 },
 "author": {
  "@type": "Person",
  "name": "Wulf A. Kaal",
  "identifier": "https://orcid.org/0000-0003-0757-275X"
 },
 "dateModified": "2026-07-29",
 "canonicalForm": "https://wulfkaal.github.io/entities/welfare-theorems.md",
 "sha256": "6b25dc9d8e1bbef6b347ab36a47e8f710f8480641d2998e95cdb52456b9c0607",
 "additionalProperty": [
  {
   "@type": "PropertyValue",
   "name": "status",
   "value": "derived"
  },
  {
   "@type": "PropertyValue",
   "name": "claim_count",
   "value": 2
  },
  {
   "@type": "PropertyValue",
   "name": "work_count",
   "value": 1
  },
  {
   "@type": "PropertyValue",
   "name": "year_span",
   "value": [
    "2026",
    "2026"
   ]
  },
  {
   "@type": "PropertyValue",
   "name": "non_current_claims",
   "value": 0
  }
 ],
 "subjectOf": [
  {
   "@type": "Claim",
   "@id": "https://wulfkaal.github.io/claims/6607458-014",
   "identifier": "kaal:claim:6607458-014",
   "text": "The First Welfare Theorem requires a fixed production possibility frontier, so when the frontier is endogenous to generative activity Pareto optimality becomes path-dependent and the theorem's existence proof fails in the computative domain.",
   "abstract": "The First Welfare Theorem requires a fixed production possibility frontier. When the frontier is endogenous to generative activity, Pareto optimality becomes path-dependent, and the theorem's existence proof fails.",
   "citation": "Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458",
   "datePublished": "2026",
   "claim_type": "failure",
   "confidence": "argued",
   "is_failure_mode": true,
   "scope_conditions": [
    "holds where the production possibility frontier is endogenous to generative activity"
   ],
   "source_pdf_sha256": "75cca35350378eb8904866d068b5d2f3e1504629e6031457ce6c12152a88e3e8",
   "status": "current"
  },
  {
   "@type": "Claim",
   "@id": "https://wulfkaal.github.io/claims/6607458-040",
   "identifier": "kaal:claim:6607458-040",
   "text": "The standard welfare theorems lose their foundation in the computative domain, and while human welfare plausibly remains the evaluative criterion at the terminal level, the apparatus connecting intermediate agent-to-agent activity to terminal human welfare remains undeveloped.",
   "abstract": "The distinction between terminal and proximate consumption (Part II.D) suggests that human welfare remains the evaluative criterion at the terminal level, but the analytical apparatus for connecting intermediate agent-to-agent activity to terminal human welfare assessment remains to be developed.",
   "citation": "Wulf A. Kaal, Computative Economics A Framework for Economic Analysis under Computational Abundance (2026). SSRN: https://ssrn.com/abstract=6607458",
   "datePublished": "2026",
   "claim_type": "failure",
   "confidence": "argued",
   "is_failure_mode": true,
   "scope_conditions": [
    "applies in the computative domain"
   ],
   "source_pdf_sha256": "75cca35350378eb8904866d068b5d2f3e1504629e6031457ce6c12152a88e3e8",
   "status": "current"
  }
 ],
 "description": "2 claims in the published works of Wulf A. Kaal carry the concept tag 'welfare-theorems'. Derived node: a roster, not an adjudicated definition."
}