Lerner symmetry theorem¶
The trade-theory result that an ad valorem import tariff has equivalent real effects to an equal export tax under specified general-equilibrium assumptions.
Core Idea¶
Equivalence relies on balanced trade, flexible prices and exchange rates, no relevant foreign asset ownership and compatible competition and separability assumptions; modern models can break it. Taxing imports changes the domestic relative price between traded and home goods, while an equal export tax induces the same relative-price wedge after nominal adjustment, producing the same production and consumption allocation. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Lerner symmetry theorem belongs to international economics and is useful where the analyst can specify the typed international economics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the country and goods, tariff and export-tax rates and bases, general-equilibrium model, balanced-trade and ownership assumptions, price and exchange-rate flexibility, production and consumption separability, relative-price mapping and allocation or welfare equivalence are explicit. The scope is broad within that domain but bounded by the need for the country and goods, tariff and export-tax rates and bases, general-equilibrium model, balanced-trade and ownership assumptions, price and exchange-rate flexibility, production and consumption separability, relative-price mapping and allocation or welfare equivalence are explicit.
Clarity¶
The abstraction clarifies a crowded vocabulary by making the country and goods, tariff and export-tax rates and bases, general-equilibrium model, balanced-trade and ownership assumptions, price and exchange-rate flexibility, production and consumption separability, relative-price mapping and allocation or welfare equivalence are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Lerner symmetry theorem. Lerner symmetry theorem compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: the typed international economics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express the country and goods, tariff and export-tax rates and bases, general-equilibrium model, balanced-trade and ownership assumptions, price and exchange-rate flexibility, production and consumption separability, relative-price mapping and allocation or welfare equivalence are explicit independently of one notation or implementation.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of international economics because they reuse the typed international economics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, Taxing imports changes the domestic relative price between traded and home goods, while an equal export tax induces the same relative-price wedge after nominal adjustment, producing the same production and consumption allocation., and type the carrier, state every parameter and convention in the definition, test that the country and goods, tariff and export-tax rates and bases, general-equilibrium model, balanced-trade and ownership assumptions, price and exchange-rate flexibility, production and consumption separability, relative-price mapping and allocation or welfare equivalence are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Lerner symmetry theorem Domain-specific
Parents (1) — more general patterns this builds on
-
Lerner symmetry theorem is a kind of Equivalence Relation Prime
The proposed strict upward parent is
prime:equivalence_relation.
Hierarchy path (1) — routes to 1 parentless root
- Lerner symmetry theorem → Equivalence Relation
Neighborhood in Abstraction Space¶
Lerner symmetry theorem sits in a crowded region of the domain-specific corpus (35th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Welfare, Production & Economic Choice (45 abstractions)
Nearest neighbors
- New trade theory — 0.91
- Immiserizing growth — 0.91
- Trade-weighted effective exchange rate index — 0.90
- Balance of payments — 0.89
- Currency crisis — 0.89
Computed from structural-signature embeddings · 2026-09-08