Before revision:  We then apply these results to nonlinear pricing of European contingent claims in an imperfect financial market with a  defaultable risky asset.
After revision:  We then apply these results to nonlinear pricing of European contingent claims in an imperfect financial market with a totally defaultable risky asset.