tokens: Many varieties of the semantic view propose identifying theories with a class of set-theoretic models in the Tarskian sense , while others specify models in the mathematical language stipulated by the field of which the theory is a member .