First Welfare Theorem
E431737
The First Welfare Theorem is a fundamental result in economics stating that, under certain ideal conditions, competitive market equilibria are Pareto efficient.
All labels observed (2)
| Label | Occurrences |
|---|---|
| First Welfare Theorem canonical | 1 |
| first fundamental theorem of welfare economics | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4329678 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: First Welfare Theorem Context triple: [Coase theorem, relatedTo, First Welfare Theorem]
-
A.
Pareto efficiency
Pareto efficiency is an economic concept describing an allocation of resources where no individual can be made better off without making someone else worse off.
-
B.
Walrasian market-clearing framework
The Walrasian market-clearing framework is a general equilibrium model in which perfectly competitive markets continuously adjust prices so that supply equals demand in all markets simultaneously.
-
C.
Coase theorem
The Coase theorem is an economic theory stating that if property rights are well-defined and transaction costs are negligible, private bargaining will lead to an efficient allocation of resources regardless of the initial assignment of rights.
-
D.
The Economics of Welfare
The Economics of Welfare is a foundational 1920 economics treatise by Arthur Cecil Pigou that systematically develops welfare economics and the concept of externalities to analyze the role of government in correcting market failures.
-
E.
Hicks–Kaldor compensation criterion
The Hicks–Kaldor compensation criterion is an economic efficiency test stating that a policy change is desirable if those who gain could in principle compensate those who lose and still be better off, regardless of whether compensation actually occurs.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: First Welfare Theorem Target entity description: The First Welfare Theorem is a fundamental result in economics stating that, under certain ideal conditions, competitive market equilibria are Pareto efficient.
-
A.
Pareto efficiency
Pareto efficiency is an economic concept describing an allocation of resources where no individual can be made better off without making someone else worse off.
-
B.
Walrasian market-clearing framework
The Walrasian market-clearing framework is a general equilibrium model in which perfectly competitive markets continuously adjust prices so that supply equals demand in all markets simultaneously.
-
C.
Coase theorem
The Coase theorem is an economic theory stating that if property rights are well-defined and transaction costs are negligible, private bargaining will lead to an efficient allocation of resources regardless of the initial assignment of rights.
-
D.
The Economics of Welfare
The Economics of Welfare is a foundational 1920 economics treatise by Arthur Cecil Pigou that systematically develops welfare economics and the concept of externalities to analyze the role of government in correcting market failures.
-
E.
Hicks–Kaldor compensation criterion
The Hicks–Kaldor compensation criterion is an economic efficiency test stating that a policy change is desirable if those who gain could in principle compensate those who lose and still be better off, regardless of whether compensation actually occurs.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
economic theorem
ⓘ
result in microeconomics ⓘ welfare theorem ⓘ |
| associatedWith |
Gérard Debreu
NERFINISHED
ⓘ
Kenneth Arrow NERFINISHED ⓘ Vilfredo Pareto NERFINISHED ⓘ |
| assumes |
absence of externalities
ⓘ
absence of public goods ⓘ complete markets ⓘ convex preferences or technologies in standard formulations ⓘ local non-satiation of preferences ⓘ perfect competition ⓘ perfect information ⓘ price-taking behavior ⓘ |
| concerns | relationship between competitive equilibrium and efficiency ⓘ |
| conclusion | competitive equilibrium allocation is Pareto efficient ⓘ |
| contrastsWith | market failures where conditions are violated ⓘ |
| doesNotGuarantee |
equity of allocations
ⓘ
existence of equilibrium ⓘ uniqueness of equilibrium ⓘ |
| domain |
exchange economies
ⓘ
production economies ⓘ |
| field |
general equilibrium theory
ⓘ
welfare economics ⓘ |
| formalizedBy | Arrow–Debreu 1954 existence theorem NERFINISHED ⓘ |
| historicalContext | developed in the 20th century ⓘ |
| implies | competitive market equilibria are Pareto efficient ⓘ |
| influences |
modern economic policy analysis
ⓘ
theoretical justification of competitive markets ⓘ |
| isPartOf | fundamental theorems of welfare economics NERFINISHED ⓘ |
| level | microeconomic theory ⓘ |
| logicalForm | if an allocation is a competitive equilibrium, then it is Pareto efficient ⓘ |
| mathematicalFramework |
Arrow–Debreu model
NERFINISHED
ⓘ
general equilibrium model ⓘ |
| normativeImplication | competitive markets can achieve efficient allocations under ideal conditions ⓘ |
| relatedTo | Second Welfare Theorem NERFINISHED ⓘ |
| requires | existence of a competitive equilibrium ⓘ |
| states | every competitive equilibrium is Pareto efficient under certain conditions ⓘ |
| usedIn |
analysis of market efficiency
ⓘ
policy evaluation in welfare economics ⓘ |
| usesConcept |
Pareto efficiency
NERFINISHED
ⓘ
competitive equilibrium ⓘ feasible allocation ⓘ general equilibrium ⓘ profit maximization ⓘ utility maximization ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: First Welfare Theorem Description of subject: The First Welfare Theorem is a fundamental result in economics stating that, under certain ideal conditions, competitive market equilibria are Pareto efficient.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
first fundamental theorem of welfare economics