Quantitative Halmos-Savage theorems and robust large financial markets

We establish a quantitative version of the classical Halmos-Savage Theorem for convex sets of probability measures and its dual counterpart, generalizing previous quantitative versions. These results are then used to derive robust versions of the fundamental theorem of asset pricing (FTAP) in large financial markets in a one period setting, characterizing the absence of arbitrage under Knightian uncertainty. To this end, we consider robust formulations of no asymptotic arbitrage of first kind (N...