  In credit risk literature, the existence of an equivalent martingale measure
is stipulated as one of the main assumptions in the hazard process model. Here
we show by construction the existence of a measure that turns the discounted
stock and defaultable bond prices into martingales by identifying a
no-arbitrage condition, in as weak a sense as possible, which facilitates such
a construction.
