TY - RPRT TI - Theories without the tree property of the second kind AU - Artem Chernikov PY - 2013 UR - https://arxiv.org/abs/1204.0832 ID - 1204.0832 ER -