TY - RPRT TI - A Geometric Zero-One Law AU - Robert H. Gilman AU - Yuri Gurevich AU - Alexei Miasnikov PY - 2007 UR - https://arxiv.org/abs/0706.0271 ID - 0706.0271 ER -