TY - RPRT TI - Computable Axiomatizability of Elementary Classes AU - Peter Sinclair PY - 2014 DO - 10.1002/malq.201400110 UR - https://arxiv.org/abs/1409.1608 ID - 1409.1608 ER -