In a general, finite-dimensional securities market model with bid-ask spreads, we characterize absence of arbitrage opportunities both by linear programming and in terms of martingales. We first show that absence of arbitrage is equivalent to the existence of solutions to the linear programming...