TY - RPRT TI - A sufficient condition for first order non-definability of arrowing problems AU - Nerio Borges PY - 2012 UR - https://arxiv.org/abs/1209.0802 ID - 1209.0802 ER -