( p ∖ |
0 0 Ï | |||
PFH |
0 | |||
PWH |
tWH | |||
Pff HF F |
0 | |||
P ≡ |
PFF |
= Pw + t = Pw + |
0 |
(1) |
PWF |
tWF | |||
Phw |
tHW | |||
P FW |
tFW | |||
pww y |
10 ' |
where tɑð e ,R,κ is the vector of tariffs applied to goods originating in country a and whose final
location is country b. It is clear from equation (1) that country H selects tarifs tWH on goods
acquired from country W, which may differ from country F's tarifs on products originating in
the same location, tWF. The duties on products imported by one union member from the other
are zero, tHF = tFH = 0 e rR,κ. Throughout the paper we use subscripts to describe the location
of origin and the final location in the same way we did with the vector of tarifs.
What do world prices mean in this framework? Dixit (1985, pp. 317) argues that world
prices “denote trading prices just outside the home country’s borders.” This is the definition we
use in this paper as well. Dixit (1985) goes on to say that world prices for non-tradeables can
be set arbitrarily. Our framework adopts the convention that the world price of non-tradeable
goods (i.e., goods not traded between countries) matches the price that prevails in the FTA. This
implies that zero duties on trade are applied to non-traded goods. That does not cause harm
since the relation between FTA and world prices for non-tradeable commodities is irrelevant.
Assume that endowments are constant throughout the analysis. Country i's production vector
is yl eYг C X9κ, i = H, F. A positive component of yl is an output and a negative element
is an input. The consumption vector of country i is xl e Xг C X9κ, while the consumption
vector of consumer j of country i is xj ε Xj C X9 κ. The external trade vector of country i is
denoted by zl e X9κ. A positive element of z' is an imported good and a negative element is an
exported good. Many coordinates of the vectors xj, yj, and z' will be zero. For example, external
trade in goods produced and consumed in the same country is zero. Firms located in country H
could “produce” a good of type WFk (good of description k, physically originating in W, with
end-of-period location F) by acquiring good k from W and transporting it to F. In this case, one
element of yH would be the input, — yWWk, and another element would be the output, yWFk.
Whether goods are subject to tarifs depends on their origin and the degree of transformation