TY - RPRT TI - Distinguishing Models by Formulas and the Number of Countable Models AU - Mohammad Assem PY - 2013 UR - https://arxiv.org/abs/1301.0994 ID - 1301.0994 ER -