we-solve (beta)

Econ-408 · economics · Economics

Intrahousehold bargaining and women’s labor supply

LLM status Partially solved unverified

Statement

ECON-054 | R | Source-backed agenda; exact formalization is editorial

Definitions and formal target

A household chooses $c_w,c_m\geq0$ and labor supplies $\ell_w,\ell_m$ from stated time/childcare constraints and \[ c_w+c_m+C_{\rm care}(\ell_w,\ell_m;z) \leq w_w(z)\ell_w+w_m(z)\ell_m+y(z). \] A specified collective representation maximizes \[ \omega(z)u_w(c_w,\ell_w)+(1-\omega(z))u_m(c_m,\ell_m), \qquad0<\omega(z)<1. \] For selected choices, target \[ \tau_\ell=\mathbb E[\ell_w(1)-\ell_w(0)],\quad \tau_u=\mathbb E[u_w(c_w(1),\ell_w(1))-u_w(c_w(0),\ell_w(0))]. \] Distinguish changes in bargaining weight from changes in income, prices, care access and preferences.

Clarifications and required assumptions

State utility orientation for labor/leisure, the consumption numeraire, public household goods, child welfare, outside options and efficient-choice assumptions. Normalize utilities before interpreting a bargaining weight; its numerical value changes with utility scale. Welfare uses a common preference function unless preference changes are explicitly modeled. The corrected expression evaluates utility at choices rather than the undefined shorthand $u_w(z)$. A single policy may change several primitives; a weight-only effect is a separate intervention requiring identification.

Variants and changes of scope

  • Collective efficiency, noncooperative household models and unitary households are different assumptions.
  • Individual transfers, childcare subsidies and legal/resource control reforms affect different budget and bargaining components.
  • Labor hours, participation and welfare need not move in the same direction.

Audit conclusion and source relationship

[S1] and [S2] directly support bargaining and female labor supply. This budget and welfare formulation is editorial and does not equate more market work with greater welfare.

References and exact source roles

[S1] Rachel Heath, Arielle Bernhardt, Girija Borker, Anne Fitzpatrick, Anthony Keats, Madeline McKelway, Andreas Menzel, Teresa Molina, and Garima Sharma (2025). Female Labour Force Participation. VoxDevLit 11(2), October 2025.

Verified locator / source role: Primary publisher page checked for review identity, authors, version and background. The specific published agenda is corroborated in [S2]; the exact formal target is editorial.

https://voxdev.org/voxdevlit/female-labour-force-participation

[S2] Oliver Hanney / VoxDev (living compilation). Evidence gaps: Key unanswered questions in development economics. Accessed 8 October 2026. The page currently covers 20 topics; the "16-topics URL is a historical slug.

Verified locator / source role: Topic heading: Female Labour Force Participation. Supports the broad research agenda; this is not a verbatim quotation or an attribution of the displayed mathematical target.

https://voxdev.org/topic/evidence-gaps-key-unanswered-questions-across-16-topics-development-economics

Common conventions: Additional-source status and mathematical conventions

Of the 100 supplied ECON entries, 65 distinct problems appear here; 32 close matches refine earlier entries, and three duplicate questions map to existing entries. Appendix app:audited-crosswalk lists every destination. The attachment's P/R/S/U distinctions and source audits are retained. Its precise mathematical formalizations are editorial unless the individual audit says otherwise. Candidate subsidy targets ECON-004--006 retain their U flags; the resolved approval-core question ECON-007 updates OP-0202 above. The following supplied conventions govern both this part and the attributed ECON refinements elsewhere in the catalogue, subject to local restrictions.

Parameterized questions. A problem family lists inputs that must be fixed before an instance is evaluated: population, horizon, policies, information, data law, model class and welfare weights. These are required choices, not quantities the citations are assumed to specify. Undefined applications should not be treated as identified estimands.

Indices and integrability. Sets of agents, firms and regions are finite unless a population measure is explicitly used. $i,j$ index units, $r$ regions, $t$ dates and $h$ horizons. $\mathbb E$ and $\Pr$ refer to the declared population and law; $\mathbf1\{A\}$ is an indicator. Every displayed expectation and discounted sum needs existence in the stated domain. Infinite horizons use a discount in $(0,1)$ and a convergence condition; finite horizons may use discount one.

Optimization and existence. A displayed $\max$, $\min$, or $\arg\max$ is conditional on attainment. For finite feasible menus this is immediate; general spaces need continuity and compactness/coercivity or another existence argument. Without attainment, the target is the supremum/infimum and arbitrarily near-optimal feasible choices. $\inf\varnothing=+\infty$. Empty feasibility and an unidentified target are different issues.

Potential outcomes. $Y_i(z)$ is the outcome under a specified intervention, not the observed conditional mean among people choosing $z$. In binary comparisons $\Delta Y_i=Y_i(1)-Y_i(0)$. Specify assignment, treatment versions, compliance, information and observation horizon. Interference is allowed under a full policy vector; compressed exposure notation needs a justified mapping. No interference, consistency and overlap are substantive assumptions, not automatic consequences of notation.

Populations and observation. Fix baseline eligibility and population weights. Conditioning on post-policy employment, survival, relocation or program uptake can change the population being compared. Death is not ordinary loss to follow-up; outcomes truncated by death need a composite convention, joint survival target, or explicitly defined survivor stratum. Fertility-changing interventions need a population functional rather than an unexplained fixed descendant cohort. Measurement and missingness models must be supplied.

Identification. A structural model $m\in\mathcal M$ implies observable law $P_m$ and target $\theta(m)$. Identification means \[ P_{m_1}=P_{m_2}\ \Longrightarrow\ \theta(m_1)=\theta(m_2) \quad\text{for all }m_1,m_2\in\mathcal M . \] Without identification, the target is \[ \Theta(P;\mathcal M)=\{\theta(m):m\in\mathcal M,\ P_m=P\}. \] Writing $\theta(P)$ before establishing identification can hide incompatible latent models. Confidence sets additionally need a sampling law, confidence level, asymptotic sequence and uniformity class. Point identification, coverage and informative precision are separate properties.

Mediation. Total effects of randomized assignment are distinct from cross-world natural indirect effects. Belief/effort-channel effects require a meaningful mediator intervention and additional measurement, exclusion or mediation assumptions. Randomization of the initial policy alone does not supply those assumptions. Report bounds or interventional alternatives when the stronger target is unsupported.

Equilibrium. A counterfactual $W(z)$, $p(z)$, or $\mu_t^z$ requires individual optimization, feasibility, government/resource budgets, market clearing and state-transition laws. State equilibrium existence and selection, or report ranges over compatible equilibria. Initial-state integration includes subsequent endogenous transitions; current-state integration must use the policy-dependent distribution. Reduced-form invariance after policy is not assumed.

Welfare accounts. Scores, utility, health, dollars and ecological quantities require explicit conversion before addition. Fees, taxes, subsidies, wages and extortion payments are transfers between parties; distributional weights can make them welfare relevant, but their face value is not automatically a resource loss. State ownership, geographic boundaries, foreign-income weights and fiscal finance. Do not add profits to household welfare already including dividends, or count land capitalization and the underlying benefit twice. A benefit-cost expression must distinguish gross benefits from net welfare and subtract every real cost exactly once.

Derivatives and risk. Log derivatives require positive arguments; local responses require admissible perturbations and specified equilibrium branches. Differentiation under expectations needs regularity/domination, and boundaries may allow only one-sided derivatives. Risk uses a specified law; ambiguity uses a declared nonempty law set on a common history space. Adaptive policies must be nonanticipative. A robust criterion is an editorial choice unless attributed explicitly.

Scope overlaps. Allocation, collective choice, contracts, household bargaining and coordinated policy overlap economics with optimization and game theory. They are retained because they appeared in the original catalogue; no claim of a strictly game-theory-free selection is made.

Statement licence: CC-BY-4.0 · Source file

Contributions 1

Econ-408-A1 · Partial result · LLM-generated · gpt 6 astra ultra ·

GPT 6 Astra Ultra attempt on Econ-408

Intrahousehold bargaining and women's labor supply

Target and a distinction the model can establish

The policy targets are women's labor supply and their own utility, using a common utility normalization. Their signs need not coincide. The analysis below solves a collective-household benchmark, proves a utility comparative static beyond that benchmark, and derives identification restrictions for a bargaining channel. It does not estimate an effect of a particular legal or transfer reform.

A solved household benchmark

Fix male labor and include his earnings in exogenous $y>0$. The woman chooses $l\in[0,\bar l]$, wage $w>0$, and the household allocates private consumption. There is no public good or childcare cost in this benchmark. Preferences are \[ u_w(c_w,l)=\log c_w-a l^2/2,\qquad u_m(c_m)=\log c_m, \qquad a>0. \] For weight $\omega\in(0,1)$ maximize $\omega u_w+(1-\omega)u_m$ subject to $c_w+c_m\le wl+y$. Strictly positive consumption follows because logarithms diverge at zero; the budget binds by monotonicity. Conditional on labor, first-order conditions and strict concavity give \[ c_w=\omega(wl+y),\qquad c_m=(1-\omega)(wl+y). \] After substitution the labor objective, up to terms independent of $l$, is $\log(wl+y)-\omega a l^2/2$. Its derivative is positive at zero and its second derivative is $-w^2/(wl+y)^2-\omega a<0$. Thus there is a unique optimum, interior whenever the derivative at $\bar l$ is negative. For an interior solution, \[ \omega a l(wl+y)=w, \qquad l=\frac{-y+\sqrt{y^2+4w^2/(\omega a)}}{2w}. \tag{1} \] The capped solution is the minimum of this expression and $\bar l$.
Proposition (Less work can accompany greater welfare): At an interior optimum, a pure increase in $\omega$ holding $w,y,a$ fixed strictly lowers $l$ and strictly increases the woman's own utility.
Proof: Implicit differentiation of (1) yields \[ \frac{dl}{d\omega}=-\frac{l(wl+y)}{\omega(2wl+y)}<0. \] Her utility along choices is $U(\omega)=\log\omega+\log(wl(\omega)+y)-a l(\omega)^2/2$. Use $w/(wl+y)=\omega a l$ to obtain \[ U'(\omega)=\frac1\omega+(\omega-1)a l\frac{dl}{d\omega}>0. \] Both terms are positive. At a binding upper labor cap, labor stays constant locally while consumption and utility rise with $\omega$; continuity covers the point where the cap stops binding. ∎
For $y=0$ the same interior calculation is particularly transparent: $l=(\omega a)^{-1/2}$, $c_w=w\sqrt{\omega/a}$, and $U=\log(w\sqrt{\omega/a})-1/(2\omega)$. With $a=4,w=1,\bar l=2$, increasing $\omega$ from $1/4$ to $1/2$ reduces labor from $1$ to $1/\sqrt2$ and raises consumption from $1/4$ to $1/(2\sqrt2)$. Utility increases by $\log\sqrt2+1$. These are analytic values in a hypothetical example.

A welfare monotonicity result that does not use logarithms

Let a common fixed feasible set of allocations be $\mathcal A$ and utilities $u_w,u_m$ be fixed. Suppose maximizers exist at weights $0<\omega_1<\omega_2<1$. Denote selected utilities by $(U_{wk},U_{mk})$.
Theorem: Every such pair of maximizing allocations satisfies $U_{w2}\ge U_{w1}$ and $U_{m2}\le U_{m1}$.
Proof: Divide the weighted objective by $1-\omega_k$ and let $t_k=\omega_k/(1-\omega_k)$, so $t_2>t_1$. Optimality at the two weights gives $t_1U_{w1}+U_{m1}\ge t_1U_{w2}+U_{m2}$ and $t_2U_{w2}+U_{m2}\ge t_2U_{w1}+U_{m1}$. Adding implies $(t_2-t_1)(U_{w2}-U_{w1})\ge0$. The first inequality then gives $U_{m2}-U_{m1}\le-t_1(U_{w2}-U_{w1})\le0$. ∎
No analogous labor sign follows from this argument: labor is an input into utility and resources, not the utility coordinate itself. The conclusion also fails as a pure comparative static when the policy changes the feasible set, preferences, public-goods provision or outside options simultaneously. Calling an observed reform an increase in bargaining power does not establish those exclusions.

What is identified from hours and private consumption?

Within the log-quadratic benchmark with observed $(l,w,y)$ and interior labor, \[ \omega a=\frac{w}{l(wl+y)}. \tag{2} \] Hours alone identify a product, even with a precisely known budget. For any alternative $\widetilde\omega\in(0,1)$ set $\widetilde a=\omega a/\widetilde\omega$. The optimal hours and total consumption are unchanged but the woman's allocation and utility generally differ. Thus a labor response is not enough to isolate bargaining from labor preferences. If the two private consumption amounts are separately observed and the log normalizations are accepted, then \[ \omega=\frac{c_w}{c_w+c_m},\qquad a=\frac{w}{\omega l(wl+y)}. \tag{3} \] For a proposed weight-only intervention these imply testable restrictions: $w,y$ must remain fixed, the inferred $a$ must remain constant, and the changed labor/consumption must satisfy (1). These are implications inside the maintained model, not a nonparametric identification theorem. A common public consumption good or unmeasured childcare payment breaks the simple share equation.

Utility scale matters. Replacing $u_w$ by $\lambda_wu_w$ and $u_m$ by $\lambda_mu_m$ with positive constants preserves preferences but changes the numerical normalized weight to \[ \widetilde\omega= \frac{\omega/\lambda_w}{\omega/\lambda_w+(1-\omega)/\lambda_m} \] if the same collective objective is to be represented. Therefore weight values cannot be compared across studies without normalization. Additive constants cancel in within-person changes; multiplicative constants change their size.

Toward an application and its remaining gap

A factorial design separating verified individual transfers, childcare prices and legal-control changes could estimate total regime effects on labor and private consumption. A label assigned to one factor does not guarantee it acts only through $\omega$. The exclusion restrictions must be defended using the budget, care access, preferences and outside options. For heterogeneity, (1)--(3) apply household by household; substituting mean wages and mean labor into the nonlinear formulas does not recover mean weights or average utility.

An alternative partial-identification exercise fixes a compact parameter set for $(a,\omega,w,y)$ consistent with measurement intervals and (1), computes utility differences at every feasible pair of regimes, and minimizes/maximizes the target over that set. Continuity away from zero consumption guarantees attained bounds when the set is nonempty. Numerical claims would require actual measurement intervals and a global optimization certificate. None are invented here. The rigorous progress is the solved benchmark and identification obstruction; policy-specific causal and welfare effects remain unresolved.

Completion Estimate

45%

This is a post hoc, heuristic estimate for the full catalogue target. The attempt solves a collective household benchmark, proves utility monotonicity in bargaining weights, and identifies the consumption information needed to separate weights from labor preferences. Policy-specific labor and welfare effects with childcare, public goods, and simultaneous changes in household primitives remain unestimated and unidentified.

References

  • [source] R. Heath et al. (2025), Female Labour Force Participation, VoxDevLit 11(2). Publisher summary and citation checked. https://voxdev.org/voxdevlit/female-labour-force-participation. This supplies the policy background; the explicit collective model and proofs above are a stated specialization, not an attribution to the review.

Go to contribution →