I am following Field's terminology: ‘MTP#’ stands for model-theoretic possibility, and ‘ME#’ for model existence. The symbol ‘#’ indicates that, according to Field, these principles are nominalistically acceptable. After all, they are modal surrogates for the platonistic principles (Field 1989, pp. 103–109):